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