Login / Signup
A graphical tool for specification of reactive systems.
Kari Systä
Published in:
RTS (1991)
Keyphrases
</>
reactive systems
temporal logic
model checking
petri net
transition systems
information flow
control flow
formal methods
state machines
real time systems
databases
graphical display
database
data flow
information systems
black box
expert systems
multi agent
artificial intelligence