Validating Real-Time Systems by History-Checking TRIO Specifications.
Miguel FelderAngelo MorzentiPublished in: ACM Trans. Softw. Eng. Methodol. (1994)
Keyphrases
- real time systems
- embedded real time systems
- reactive systems
- distributed systems
- real time
- embedded systems
- mission critical
- real time database systems
- timing constraints
- object oriented programming language
- database
- high level
- architectural model
- formal specification
- dynamic programming
- anytime algorithms
- low cost
- real time embedded
- multi agent