Real-time systems design methodologies: An introduction and a survey.
Krishna M. KaviSeung-Min YangPublished in: J. Syst. Softw. (1992)
Keyphrases
- real time systems
- design methodologies
- design methodology
- multiagent systems
- real time
- design process
- distributed systems
- real time database systems
- timing constraints
- embedded systems
- real time embedded
- object oriented programming language
- learning algorithm
- formal specification
- databases
- model checking
- business processes
- mission critical
- low cost
- artificial neural networks
- architectural model