Statecharts supervision models for reactive systems.

Antonio Mendes da Silva Filho

Published in: CASCON (1995)

Keyphrases

reactive systems
model checking
information flow
temporal logic
formal methods
data mining
petri net
artificial intelligence
intelligent agents
state machines