Keyphrases
- formal methods
- international conference
- international workshop
- artificial intelligence
- technical report
- selected papers
- formal analysis
- computational intelligence
- safety critical
- model checker
- knowledge based systems
- formal specification
- model checking
- international symposium
- e learning
- provably correct
- software engineering
- case study
- postgraduate students
- modeling language
- advances in artificial intelligence
- czech republic
- development lifecycle
- process algebra
- knowledge discovery and data mining
- object oriented
- computer science