A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic.
Ammar AttouiMichel SchneiderPublished in: Real Time Syst. (1996)
Keyphrases
- real time systems
- reactive systems
- formal language
- formal specification
- real time
- operational semantics
- formal methods
- specification languages
- distributed systems
- embedded systems
- timing constraints
- real time database systems
- asynchronous circuits
- logic programming
- high level
- real time embedded
- case study
- mission critical
- modal logic
- architectural model
- data model
- object oriented programming language