Login / Signup
Game-Based Monitors for Scenario-Based Specification.
Pengcheng Zhang
Jun Yu
Wenrui Li
Hareton Leung
Published in:
ICECCS (2013)
Keyphrases
</>
digital educational games
learning process
learning tools
provably correct
information systems
formal specification
conceptual model
formal language
formal verification
specification language
game based learning
data sets
mobile learning
virtual environment
high level
machine learning
data mining