Keyphrases
- formal methods
- lecture notes
- computer science
- lecture notes in artificial intelligence
- artificial intelligence
- international conference
- international workshop
- trends in artificial intelligence
- formal analysis
- international symposium
- computer science education
- pacific rim
- advances in artificial intelligence
- safety critical
- knowledge based systems
- model checker
- expert systems
- selected papers
- model checking
- provably correct
- formal specification
- process algebra
- software engineering
- conference proceedings
- learning environment
- learning systems
- book constitutes the refereed proceedings
- e learning
- computational intelligence
- learning process
- modeling language
- reactive systems
- databases
- learning analytics
- review process
- reverse engineering
- machine learning