Keyphrases
- distance learning
- learning process
- e learning
- learning environment
- online learning
- model checking
- face verification
- formal verification
- educational technology
- scientific inquiry
- cooperative learning
- problem based learning
- hybrid learning
- false acceptance rate
- learning systems
- formal methods
- university level
- pedagogical design
- educational software
- asynchronous circuits
- verification method
- mathematics education
- engineering education
- signature verification
- teaching methods
- teaching materials
- hong kong
- st century
- learning analytics
- higher education