Model Driven Verification of Airplane Scenarios, Requirements and Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chao Zhan, Dongsheng Chen, Yanbo Zhang, Meixiang Peng. Model Driven Verification of Airplane Scenarios, Requirements and Functions. In Daniel Krob, Lefei Li, Junchen Yao, Hongjun Zhang, Xinguo Zhang, editors, Proceedings of the 4th International Conference on Complex Systems Design & Management Asia, CSD&M Asia 2021, and of the 12th Conference on Complex Systems Design & Management, CSD&M 2021, Beijing, China, January 2021. pages 483, Springer, 2021. [doi]

This author has not been identified. Look up 'Chao Zhan' in GoogleThis author has not been identified. Look up 'Dongsheng Chen' in GoogleThis author has not been identified. Look up 'Yanbo Zhang' in GoogleThis author has not been identified. Look up 'Meixiang Peng' in Google

runs on WebDSL