A methodology for creating and adapting reactive systems.

Antonius J. Hendriks Damian M. Lyons

Published in: ICTAI (1991)

Keyphrases

reactive systems
information flow
model checking
temporal logic
formal methods
database
data mining
information systems
expert systems
user interface
xml documents
petri net
smart card
control flow