Keyphrases
- international workshop
- safety critical
- formal methods
- domain driven data mining
- pacific rim
- safety analysis
- fault tolerant
- revised selected papers
- selected papers
- lecture notes in artificial intelligence
- acm sigkdd
- agent architecture
- embedded systems
- artificial intelligence
- management system
- databases
- adaptive systems
- book constitutes the refereed proceedings
- nuclear power plant
- international conference
- distributed systems
- low cost
- expert systems