Stanley Bak, Sagar Chaki. Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. In 2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016. ACM, 2016. [doi]
@inproceedings{BakC16-0,
title = {Verifying cyber-physical systems by combining software model checking with hybrid systems reachability},
author = {Stanley Bak and Sagar Chaki},
year = {2016},
doi = {10.1145/2968478.2968490},
url = {http://doi.acm.org/10.1145/2968478.2968490},
researchr = {https://researchr.org/publication/BakC16-0},
cites = {0},
citedby = {0},
booktitle = {2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016},
publisher = {ACM},
isbn = {978-1-4503-4485-2},
}