Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson. Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation. In Dongjin Yu, Vu Nguyen 0003, Congfeng Jiang, editors, 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. pages 107-114, IEEE, 2019. [doi]
@inproceedings{JarusSH19,
title = {Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation},
author = {Natasha Jarus and Sahra Sedigh Sarvestani and Ali R. Hurson},
year = {2019},
doi = {10.1109/HASE.2019.00025},
url = {https://doi.org/10.1109/HASE.2019.00025},
researchr = {https://researchr.org/publication/JarusSH19},
cites = {0},
citedby = {0},
pages = {107-114},
booktitle = {19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019},
editor = {Dongjin Yu and Vu Nguyen 0003 and Congfeng Jiang},
publisher = {IEEE},
isbn = {978-1-5386-8540-2},
}