Comprehension of Safety-Critical Systems Using Domain-Specific Languages.
Tim M. BullPublished in: WPC (1996)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- agent architecture
- nuclear power plant
- support systems
- management system
- learning process
- programming language
- knowledge based systems
- learning systems
- health care
- real time
- knowledge acquisition
- general purpose
- software engineering
- multi agent
- artificial intelligence