Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems.
Edoardo CorsettiAngelo MontanariElena RattoPublished in: Real Time Syst. (1991)
Keyphrases
- real time systems
- formal specification
- object oriented design
- specification languages
- real time
- distributed systems
- model checking
- embedded systems
- concurrent systems
- reverse engineering
- mission critical
- formal methods
- timing constraints
- real time database systems
- architectural model
- software components
- real time embedded
- formal specification language