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

Kostadin Damevski, Badreldin Altayeb, Hui Chen, David Walter

Browse the full SIGCSE paper archive.