Teaching cyber-physical systems to computer scientists via modeling and verification.

Kostadin Damevski Badreldin Altayeb Hui Chen David Walter

Published in: SIGCSE (2013)

Keyphrases

computer scientists
cyber physical systems
researchers and practitioners
computer science
cyber physical
information systems
social scientists
learning environment
learning process
fuzzy logic
low cost
learning systems
learning analytics
st century