New results on deriving SDL specifications from MSCs.

Miguel Abdalla Ferhat Khendek Greg Butler

Published in: SDL Forum (1999)

Keyphrases

formal specification
delay insensitive
control flow
transition systems
high level
functional requirements
specification language
asynchronous circuits
database
data sets
data mining
image processing
temporal logic
operational semantics