Using Emulation to Verify Formal Architecture Descriptions.
Mario R. BarbacciAlan ParkerPublished in: Computer (1978)
Keyphrases
- formal model
- management system
- real time
- high level
- software architecture
- architectural design
- image processing
- memory management
- design considerations
- formal models
- formal specification
- layered architecture
- reactive systems
- master slave
- distributed architecture
- formal methods
- expert systems
- case study
- machine learning