Keyphrases
- formal methods
- international conference
- safety critical
- lecture notes in artificial intelligence
- artificial intelligence
- lecture notes
- book constitutes the refereed proceedings
- international workshop
- knowledge based systems
- model checking
- model checker
- formal analysis
- formal specification
- software engineering
- expert systems
- reactive systems
- provably correct
- data mining
- building blocks
- intelligent systems
- distributed systems
- computational intelligence
- multi agent systems
- case study