A Methodology for Creating and Adapting Reactive Systems.

Antonius J. Hendriks Damian M. Lyons

Published in: Int. J. Artif. Intell. Tools (1993)

Keyphrases

reactive systems
temporal logic
model checking
state machines
petri net
information flow
formal methods
databases
design methodology
database
neural network
state machine