Keyphrases
- formal methods
- artificial intelligence
- international conference
- international symposium
- international workshop
- lecture notes in artificial intelligence
- knowledge based systems
- advances in artificial intelligence
- safety critical
- virtual environment
- formal analysis
- model checker
- computational intelligence
- computer science
- model checking
- event detection
- lecture notes
- software engineering
- provably correct
- process algebra
- knowledge discovery and data mining
- formal specification
- working conference
- development lifecycle
- database
- expert systems
- formal specification language