Lei Bu, Tian Zhang 0001, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li. Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Software Engineering Notes, 43(3):6-10, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.