Amjad Gawanmeh, Ali Alwadi, Sazia Parvin. Formal Verification of Control Strategies for a Cyber Physical System. In Aibek Musaev, João Eduardo Ferreira, Teruo Higashino, editors, 37th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2017, Atlanta, GA, USA, June 5-8, 2017. pages 91-96, IEEE Computer Society, 2017. [doi]
@inproceedings{GawanmehAP17,
title = {Formal Verification of Control Strategies for a Cyber Physical System},
author = {Amjad Gawanmeh and Ali Alwadi and Sazia Parvin},
year = {2017},
doi = {10.1109/ICDCSW.2017.59},
url = {https://doi.org/10.1109/ICDCSW.2017.59},
researchr = {https://researchr.org/publication/GawanmehAP17},
cites = {0},
citedby = {0},
pages = {91-96},
booktitle = {37th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2017, Atlanta, GA, USA, June 5-8, 2017},
editor = {Aibek Musaev and João Eduardo Ferreira and Teruo Higashino},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-3292-5},
}