Kostadin Damevski, Badreldin Altayeb, Hui Chen, David Walter. Teaching cyber-physical systems to computer scientists via modeling and verification. In Tracy Camp, Paul T. Tymann, J. D. Dougherty, Kris Nagel, editors, The 44th ACM Technical Symposium on Computer Science Education, SIGCSE '13, Denver, CO, USA, March 6-9, 2013. pages 567-572, ACM, 2013. [doi]
@inproceedings{DamevskiACW13,
title = {Teaching cyber-physical systems to computer scientists via modeling and verification},
author = {Kostadin Damevski and Badreldin Altayeb and Hui Chen and David Walter},
year = {2013},
doi = {10.1145/2445196.2445365},
url = {http://doi.acm.org/10.1145/2445196.2445365},
researchr = {https://researchr.org/publication/DamevskiACW13},
cites = {0},
citedby = {0},
pages = {567-572},
booktitle = {The 44th ACM Technical Symposium on Computer Science Education, SIGCSE '13, Denver, CO, USA, March 6-9, 2013},
editor = {Tracy Camp and Paul T. Tymann and J. D. Dougherty and Kris Nagel},
publisher = {ACM},
isbn = {978-1-4503-1868-6},
}