A Case Study in Transformational Design of Concurrent Systems.

Ernst-Rüdiger Olderog Stephan Rössig

Published in: TAPSOFT (1993)

Keyphrases

concurrent systems
case study
design process
engineering design
database
distributed systems
temporal logic
optimal design
real world
learning algorithm
knowledge based systems
computer aided
design decisions
process algebra