Keyphrases
- revised papers
- international symposium
- formal methods
- lecture notes
- computer science
- computational intelligence
- lecture notes in artificial intelligence
- ambient intelligence
- model checking
- artificial intelligence
- formal specification
- international workshop
- software engineering
- knowledge based systems
- machine learning
- case study
- book constitutes the refereed proceedings
- context aware
- evolutionary computation
- data management
- carefully reviewed and selected from submissions
- genetic algorithm