Keyphrases
- revised selected papers
- safety critical
- formal methods
- international workshop
- lecture notes in artificial intelligence
- lecture notes
- safety analysis
- machine learning for multimodal interaction
- nuclear power plant
- embedded systems
- computer science
- expert systems
- formal specification
- fault tolerant
- support systems
- knowledge based systems
- management system
- real time
- agent architecture
- distributed systems
- regulatory requirements