Keyphrases
- formal methods
- international symposium
- lecture notes
- computer science
- revised papers
- model checking
- model checker
- artificial intelligence
- computational intelligence
- knowledge based systems
- formal analysis
- formal specification
- ambient intelligence
- process algebra
- modeling language
- safety critical
- software engineering
- formal specification language
- temporal logic
- lecture notes in artificial intelligence
- carefully reviewed and selected from submissions
- international conference
- artificial neural networks
- neural network
- development lifecycle
- databases