On hierarchically developing reactive systems.

Naijun Zhan Mila E. Majster-Cederbaum

Published in: Inf. Comput. (2010)

Keyphrases

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