An Object-Oriented Framework for Specifying Reactive Systems.

Ramesh Achuthan Vangalur S. Alagar Thiruvengadam Radhakrishnan

Published in: COODBSE (1994)

Keyphrases

reactive systems
model checking
information flow
petri net
temporal logic
formal methods
control flow
software architecture
state machines
artificial intelligence
intelligent agents
distributed systems
data model
training set
data flow
high level
real time systems
knowledge base
real world