Multilevel Specification of Real Time Systems.
Armen GabrielianMatthew K. FranklinPublished in: Commun. ACM (1991)
Keyphrases
- real time systems
- reactive systems
- real time
- distributed systems
- embedded systems
- formal specification
- timing constraints
- real time database systems
- high level
- mission critical
- real time embedded
- architectural model
- embedded real time systems
- object oriented programming language
- real time databases
- anytime algorithms
- information sharing
- model checking
- artificial intelligence