Login / Signup
Constructing correct and efficient concurrent programs.
Michel Sintzoff
Axel van Lamsweerde
Published in:
Reliable Software (1975)
Keyphrases
</>
concurrent programs
databases
relational databases
machine learning
artificial intelligence
data model
wireless sensor networks
communication networks