A Light-Weight Formalism for the Specification of Reactive Systems.
Peter ScholzPublished in: SOFSEM (1996)
Keyphrases
- reactive systems
- lightweight
- transition systems
- model checking
- temporal logic
- control flow
- petri net
- information flow
- formal methods
- knowledge representation
- state machines
- communication infrastructure
- wireless sensor networks
- real time systems
- information systems
- business process
- operational semantics
- low cost
- real time