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]
Abstract is missing.