Formal Specification and Timing Analysis of High-Integrity Real-Time Systems.
Miguel FelderCarlo GhezziMauro PezzèPublished in: NATO ASI RTC (1992)
Keyphrases
- real time systems
- formal specification
- model checking
- specification languages
- specification language
- object oriented design
- distributed systems
- real time
- concurrent systems
- formal methods
- reverse engineering
- mission critical
- embedded systems
- database
- process algebra
- software components
- real time database systems
- timing constraints
- real time embedded
- architectural model
- object oriented programming language
- information processing
- knowledge management
- database systems
- information systems
- artificial intelligence
- grid workflow