An event-based real-time logic to specify the behavior and timing properties of real-time systems.
Horng-Yuan ChenJeffrey J. P. TsaiYao-Dong BiPublished in: ICTAI (1991)
Keyphrases
- real time systems
- real time
- timing constraints
- distributed systems
- real time database systems
- real time embedded
- asynchronous circuits
- event driven
- embedded systems
- embedded real time systems
- machine learning
- object oriented programming language
- anytime algorithms
- mission critical
- database
- modal logic
- real time databases
- petri net
- database management systems
- low cost
- database systems