CJA 中文

导航

Academic Quality
Advertising Services   |
Subscriptions   |
中文 CJA
Model-driven Safety Dependence Verification for Component-based Airborne Software Supporting Airworthiness Certification
XU Bingfeng, HUANG Zhiqiu, HU Jun, YU Xiaofeng
ACTA AERONAUTICAET ASTRONAUTICA SINICA . 2012, (5): 796 -808 .  DOI: CNKI:11-1929/V.20120201.0941.002

Address: No.238, Baiyan Buiding, Beisihuan Zhonglu Road, Haidian District, Beijing, China

Postal code : 100083

E-mail：hkxb@buaa.edu.cn

Total visits: 6658907 Today visits: 1341All copyright © editorial office of Chinese Journal of Aeronautics

All copyright © editorial office of Chinese Journal of Aeronautics

Total visits: 6658907 Today visits: 1341