Special issue on Modeling of Reactive Systems.

Claude Martinez Olivier H. Roux

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

Keyphrases

special issue
reactive systems
ecml pkdd
international journal
ai edam
model checking
special section
applied intelligence
information flow
databases
artificial intelligence
case study
intelligent systems
temporal logic
control flow