Keyphrases
- international workshop
- safety critical
- lecture notes in artificial intelligence
- formal methods
- selected papers
- domain driven data mining
- revised selected papers
- pacific rim
- safety analysis
- acm sigkdd
- lecture notes
- nuclear power plant
- support systems
- regulatory requirements
- embedded systems
- fault tolerant
- agent architecture
- international conference
- artificial intelligence
- software components
- book constitutes the refereed proceedings
- load balancing
- intelligent systems
- decision support
- low cost
- data warehouse
- knowledge representation