Keyphrases
- international workshop
- revised selected papers
- safety critical
- formal methods
- lecture notes in artificial intelligence
- domain driven data mining
- machine learning for multimodal interaction
- selected papers
- agent architecture
- lecture notes
- nuclear power plant
- safety analysis
- pacific rim
- fault tolerant
- acm sigkdd
- management system
- embedded systems
- formal specification
- distributed systems
- support systems
- data mining
- software agents
- knowledge based systems
- intelligent systems
- expert systems