A Specification Language for Reliable Real-time Systems.
Hanno WupperJan VytopilPublished in: FTRTFT (1988)
Keyphrases
- real time systems
- specification language
- formal specification
- programming language
- description language
- real time
- distributed systems
- embedded systems
- real time database systems
- timing constraints
- mission critical
- real time embedded
- architectural model
- software environment
- anytime algorithms
- orders of magnitude
- information processing
- domain specific
- general purpose
- cooperative
- case study
- web services