OARS: An Object-Oriented Architecture for Reactive Systems.

Bernard T. Barcio Srini Ramaswamy K. Suzanne Barber

Published in: ICRA (1995)

Keyphrases

reactive systems
model checking
temporal logic
information flow
petri net
formal methods
control flow
real time systems
object oriented
databases
management system
user interface
real time
knowledge acquisition
software architecture
case study
information systems
machine learning
state machines