Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Natasha Jarus' in GoogleThis author has not been identified. Look up 'Sahra Sedigh Sarvestani' in GoogleThis author has not been identified. Look up 'Ali R. Hurson' in Google

runs on WebDSL