Keyphrases
- international symposium
- formal methods
- computational intelligence
- revised papers
- formal analysis
- formal specification
- knowledge based systems
- model checking
- ambient intelligence
- artificial intelligence
- safety critical
- real time
- software systems
- lecture notes
- building blocks
- relational databases
- machine learning
- data mining