CJA 中文

导航

Academic Quality
Advertising Services   |
Subscriptions   |
中文 CJA
Formal verification technology for AADL models based on NuSMV
LIU Chang, JIANG Yongping, MA Chunyan, ZHANG Tao
ACTA AERONAUTICAET ASTRONAUTICA SINICA . 2022, (3): 325196 -325196 .  DOI: 10.7527/S1000-6893.2021.25196

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