Linbo Wu, Yunqiang Yan, Feng Gao, Xiaohong Chen, Changhai Nie. Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML. In 19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2019, Sofia, Bulgaria, July 22-26, 2019. pages 150-157, IEEE, 2019. [doi]
Abstract is missing.