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]
Abstract is missing.