Synthesis of Open Reactive Systems from Scenario-Based Specifications.

Yves Bontemps Pierre-Yves Schobbens Christof Löding

Published in: Fundam. Informaticae (2004)

Keyphrases

reactive systems
model checking
information flow
temporal logic
petri net
transition systems
control flow
formal methods
state machines
real time systems
data mining
relational databases
xml documents