Refining Timed MSCs.

Tong Zheng Ferhat Khendek Benoit Parreaux

Published in: SDL Forum (2003)

Keyphrases

petri net
discrete event
timed automata
markov chain
finite state machines
small number