Login / Signup
09361 Abstracts Collection - Design and Validation of Concurrent Systems.
Cormac Flanagan
Susanne Graf
Madhusan Parthasarathy
Shaz Qadeer
Published in:
Design and Validation of Concurrent Systems (2009)
Keyphrases
</>
concurrent systems
design principles
neural network
knowledge based systems
information retrieval
e learning
case based reasoning
distributed systems
building blocks
document collections
design process
computer aided
temporal logic