Extending MSC for Reactive Systems.

Gwang Sik Yoon Yong Rae Kwon

Published in: HCC (2001)

Keyphrases

reactive systems
model checking
temporal logic
petri net
information flow
formal methods
control flow
state machines
real time systems