Keyphrases
- revised selected papers
- safety critical
- formal methods
- international workshop
- lecture notes in artificial intelligence
- lecture notes
- safety analysis
- computer science
- embedded systems
- fault tolerant
- machine learning for multimodal interaction
- support systems
- expert systems
- agent architecture
- model checking
- intelligent systems
- decision support system
- distributed systems
- artificial intelligence
- real time
- learning systems
- knowledge acquisition
- management system
- selected papers
- adaptive systems
- multi agent
- databases