Keyphrases
- safety critical
- formal methods
- safety analysis
- nuclear power plant
- fault tolerant
- agent architecture
- artificial intelligence
- software engineering
- support systems
- knowledge based systems
- embedded systems
- software systems
- real time
- case based reasoning
- management system
- machine learning
- modeling language
- knowledge acquisition
- distributed systems