Modular Design of Reactive Systems.

Cristina Cerschi Seceleanu Tiberiu Seceleanu

Published in: COMPSAC (2004)

Keyphrases

modular design
reactive systems
model checking
temporal logic
information flow
petri net
control flow
formal methods
real time systems
knowledge acquisition
social networks
training data
relational databases
building blocks
test set