Keyphrases
- international conference
- formal methods
- asynchronous circuits
- high level
- website
- expert systems
- distributed systems
- lecture notes in artificial intelligence
- user behaviour
- formal verification
- management system
- intelligent systems
- lecture notes
- web documents
- formal specification
- international workshop
- model checking
- database
- end users
- artificial intelligence
- machine learning