Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems.
Emanuele CiapessoniEdoardo CorsettiAngelo MontanariPierluigi San PietroPublished in: Sci. Comput. Program. (1993)
Keyphrases
- real time systems
- specification language
- formal specification
- programming language
- description language
- real time
- distributed systems
- embedded systems
- real time database systems
- mission critical
- object oriented programming language
- software environment
- architectural model
- real time embedded
- anytime algorithms
- low cost