Keyphrases
- international symposium
- formal methods
- ambient intelligence
- computational intelligence
- computer science
- lecture notes
- revised papers
- safety critical
- software engineering
- artificial intelligence
- formal specification
- formal analysis
- model checking
- knowledge based systems
- formal specification language
- context aware
- object oriented
- relational databases
- expert systems
- case study
- knowledge base
- protocol specification
- information systems