Facilitating the Maintenance of Safety-Critical Systems.
Gerald C. GannodBetty H. C. ChengPublished in: Int. J. Softw. Eng. Knowl. Eng. (1994)
Keyphrases
- safety critical
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- nuclear power plant
- real time
- support systems
- agent architecture
- machine learning
- adaptive systems
- distributed systems
- management system
- expert systems
- model checking
- learning systems
- knowledge based systems
- intelligent systems
- learning environment
- multi agent
- artificial intelligence