面向机载软件适航审查的软件计划阶段的证据模型

袁巍, 吴际, 刘超, 杨海燕

Evidence Model Oriented to Airborne Software Airworthiness Review of Software Planning Stage

YUAN Wei, WU Ji, LIU Chao, YANG Hai-yan

计算机科学 . 2018, (9): 52 -59 . DOI: 10.11896／j.issn.1002-137X.2018.09.007