Enriching SDL Specifications with MSCs.

Ferhat Khendek Daniel Vincent

Published in: SAM (2000)

Keyphrases

formal specification
delay insensitive
case study
specification language
database
real world
high level
control flow
real time
artificial intelligence
e learning
website
conceptual models
asynchronous circuits
concurrent systems