Keyphrases
- lecture notes
- formal methods
- revised selected papers
- computer science
- artificial intelligence
- machine learning for multimodal interaction
- model checking
- model checker
- lecture notes in artificial intelligence
- knowledge based systems
- provably correct
- safety critical
- formal specification
- international symposium
- process algebra
- formal analysis
- software engineering
- reactive systems
- security properties
- modeling language
- development lifecycle
- selected papers
- web services