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