面向适航认证的模型驱动机载软件构件的安全性验证
徐丙凤, 黄志球, 胡军, 于笑丰
Model-driven Safety Dependence Verification for Component-based Airborne Software Supporting Airworthiness Certification
XU Bingfeng, HUANG Zhiqiu, HU Jun, YU Xiaofeng
航空学报
.
2012, (5): 796
-808
.
DOI: CNKI:11-1929/V.20120201.0941.002
CJA