Login / Signup

Compositional Symmetric Sharing in B.

Martin BüchiRalph-Johan Back
Published in: World Congress on Formal Methods (1999)
Keyphrases
  • information sharing
  • knowledge sharing
  • data sharing
  • neural network
  • learning algorithm
  • multimedia
  • database systems
  • multiscale