Object Technology for Safety-Critical Applications.

Published in: TOOLS (23) (1997)

Keyphrases

safety critical
support systems
fault tolerant
case study
safety analysis
formal methods
real time
nuclear power plant
embedded systems
agent architecture
adaptive systems
decision makers
distributed systems
decision support system
management system
expert systems
artificial intelligence
machine learning