Specifying Reactive Systems by Abstract Events.

Egidio Astesiano Gianna Reggio

Published in: IWSSD (1993)

Keyphrases

reactive systems
state machines
model checking
temporal logic
petri net
control flow
information flow
formal methods
event detection
real time systems
information systems
temporal patterns
real time
multi agent
data flow
state machine