Keyphrases
- safety critical
- fault tolerant
- safety analysis
- formal methods
- embedded systems
- support systems
- nuclear power plant
- agent architecture
- machine learning
- expert systems
- distributed systems
- intelligent systems
- decision support system
- real time
- artificial intelligence
- data mining
- databases
- case based reasoning
- management system
- information systems