Extending Interval Logic to Real Time Systems.
P. M. Melliar-SmithPublished in: Temporal Logic in Specification (1987)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- mission critical
- timing constraints
- real time database systems
- embedded real time systems
- object oriented programming language
- real time embedded
- modal logic
- automatically generated
- architectural model
- logic programming
- low cost
- relational databases
- multi agent
- decision making
- machine learning