Keyphrases
- formal methods
- lecture notes in artificial intelligence
- lecture notes
- international conference
- safety critical
- computer science
- formal specification
- formal analysis
- process algebra
- knowledge based systems
- international workshop
- distributed systems
- model checker
- reactive systems
- advances in artificial intelligence
- artificial intelligence
- databases
- building blocks
- model checking
- computational intelligence
- software engineering
- expert systems