Interactive Programming of Reactive Systems.

Louis Mandel Florence Plateau

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

reactive systems
model checking
temporal logic
information flow
petri net
formal methods
control flow
real time systems
state machines
open source
user interaction
data mining
artificial intelligence
database systems
knowledge representation
data flow