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]
@inproceedings{ZhanCZP21,
title = {Model Driven Verification of Airplane Scenarios, Requirements and Functions},
author = {Chao Zhan and Dongsheng Chen and Yanbo Zhang and Meixiang Peng},
year = {2021},
doi = {10.1007/978-3-030-73539-5_45},
url = {https://doi.org/10.1007/978-3-030-73539-5_45},
researchr = {https://researchr.org/publication/ZhanCZP21},
cites = {0},
citedby = {0},
pages = {483},
booktitle = {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},
editor = {Daniel Krob and Lefei Li and Junchen Yao and Hongjun Zhang and Xinguo Zhang},
publisher = {Springer},
isbn = {978-3-030-73539-5},
}