Login / Signup

Constructing correct and efficient concurrent programs.

Michel SintzoffAxel van Lamsweerde
Published in: Reliable Software (1975)
Keyphrases
  • concurrent programs
  • databases
  • relational databases
  • machine learning
  • artificial intelligence
  • data model
  • wireless sensor networks
  • communication networks