Special section on modeling of reactive systems.

Etienne Craye Abdoulaye Gamatié

Published in: Discret. Event Dyn. Syst. (2013)

Keyphrases

special section
reactive systems
special issue
petri net
user interface
temporal logic
information flow
machine learning
artificial intelligence
knowledge base
expert systems
xml documents
model checking
formal methods