Applications of Machine Descriptions to Design of Concurrent Systems.

Published in: Jerusalem Conference on Information Technology (1978)

Keyphrases

concurrent systems
design process
database
high level
special case
model checking
optimal design
search engine
case study
evolutionary algorithm
collaborative learning
design decisions
design space