Specifying temporal requirements for distributed real-time systems in Z.
Andrew Charles CoombesJohn Alexander McDermidPublished in: Softw. Eng. J. (1993)
Keyphrases
- real time systems
- distributed systems
- real time embedded
- mission critical
- real time
- timing constraints
- embedded systems
- distributed environment
- temporal information
- temporal constraints
- anytime algorithms
- real time database systems
- object oriented programming language
- architectural model
- temporal data
- temporal reasoning
- multi agent
- mobile agents
- relational databases
- cooperative
- artificial intelligence