Yunjiao Zhan, Ou Wei, Jun Hu. 面向DO-178C的襟缝翼控制系统需求的形式化描述 (Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case). 计算机科学, 45(4):196-202, 2018. [doi]
@article{ZhanWH18,
title = {面向DO-178C的襟缝翼控制系统需求的形式化描述 (Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case)},
author = {Yunjiao Zhan and Ou Wei and Jun Hu},
year = {2018},
url = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2018.04.033},
researchr = {https://researchr.org/publication/ZhanWH18},
cites = {0},
citedby = {0},
journal = {计算机科学},
volume = {45},
number = {4},
pages = {196-202},
}