Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Linbo Wu' in GoogleThis author has not been identified. Look up 'Yunqiang Yan' in GoogleThis author has not been identified. Look up 'Feng Gao' in GoogleThis author has not been identified. Look up 'Xiaohong Chen' in GoogleThis author has not been identified. Look up 'Changhai Nie' in Google

runs on WebDSL