Extending Object-Z for Specifying Real-Time Systems.
Kasilingam PeriyasamyVangalur S. AlagarPublished in: TOOLS (23) (1997)
Keyphrases
- real time systems
- distributed systems
- real time
- real time database systems
- timing constraints
- d objects
- embedded systems
- mission critical
- object oriented programming language
- object model
- artificial intelligence
- embedded real time systems
- real time embedded
- moving objects
- architectural model
- multiple objects
- open source