Automated support for the formal specification and design of real-time systems.
Chris Ho-StuartHussein ZedanMing FangPublished in: Microprocess. Microprogramming (1993)
Keyphrases
- real time systems
- formal specification
- object oriented design
- mission critical
- embedded systems
- formal methods
- specification languages
- real time embedded
- architectural model
- distributed systems
- knowledge based systems
- design process
- protocol specification
- real time
- reverse engineering
- artificial intelligence
- building blocks
- user interface