Parallel real-time systems: formal specification.
Alok N. ChoudharyVijay GehlotBhagirath NarahariPublished in: HiPC (1997)
Keyphrases
- formal specification
- real time systems
- specification languages
- model checking
- real time
- object oriented design
- distributed systems
- specification language
- process algebra
- embedded systems
- real time database systems
- concurrent systems
- reverse engineering
- real time embedded
- formal methods
- timing constraints
- cooperative
- architectural model
- protocol specification
- database
- object oriented
- temporal logic