Keyphrases
- international symposium
- formal methods
- computational intelligence
- revised papers
- model checking
- formal specification
- artificial intelligence
- ambient intelligence
- knowledge based systems
- safety critical
- cellular automata
- lecture notes
- software engineering
- development lifecycle
- databases
- neural network
- carefully reviewed and selected from submissions
- information science
- genetic algorithm