Comfortable modeling of complex reactive systems.

Steffen Prochnow Reinhard von Hanxleden

Published in: DATE (2006)

Keyphrases

reactive systems
temporal logic
complex systems
information flow
artificial intelligence
petri net
model checking
control flow
case study
knowledge representation
low cost
formal methods