Keyphrases
- formal methods
- lecture notes
- international workshop
- lecture notes in artificial intelligence
- computer science
- virtual laboratory
- selected papers
- international symposium
- safety critical
- formal analysis
- artificial intelligence
- international conference
- model checking
- knowledge based systems
- virtual environment
- e learning
- learning process
- software engineering
- higher education
- learning environment
- model checker
- formal specification
- databases
- learning analytics
- computer based training
- machine learning
- book constitutes the refereed proceedings
- formal verification
- modeling language
- conference proceedings
- expert systems
- process algebra
- knowledge discovery and data mining
- security properties
- learning systems
- reactive systems
- provably correct
- pacific rim