Keyphrases
- formal methods
- knowledge discovery and data mining
- international conference
- atlantic web intelligence
- international workshop
- czech republic
- formal analysis
- international symposium
- knowledge based systems
- artificial intelligence
- safety critical
- advances in artificial intelligence
- european conference on artificial intelligence
- model checker
- process algebra
- formal specification
- model checking
- provably correct
- intelligent web
- lecture notes
- software engineering
- working conference
- lecture notes in artificial intelligence
- knowledge discovery
- reactive systems
- computational intelligence
- computer science
- web intelligence
- case study