MT: A Toolset for Specifying and Analyzing Real-Time Systems.
Paul C. ClementsConstance L. HeitmeyerBruce G. LabawA. T. RosePublished in: RTSS (1993)
Keyphrases
- real time systems
- real time
- embedded systems
- distributed systems
- machine translation
- real time database systems
- timing constraints
- low cost
- machine learning
- object oriented programming language
- real time embedded
- business processes
- data model
- artificial neural networks
- architectural model
- database systems
- case study