CJA ENGLISH

导航

学术质量
广告服务   |
期刊征订   |
English Version CJA
基于NuSMV的AADL模型形式化验证技术
刘畅, 蒋永平, 马春燕, 张涛
Formal verification technology for AADL models based on NuSMV
LIU Chang, JIANG Yongping, MA Chunyan, ZHANG Tao
航空学报 . 2022, (3): 325196 -325196 .  DOI: 10.7527/S1000-6893.2021.25196

地址：北京市海淀区北四环中路辅路238号柏彦大厦

邮政编码：100083

E-mail：hkxb@buaa.edu.cn

关于我们

期刊社服务

专业学科

封面文章

友情链接

版权所有 © 航空学报编辑部

版权所有 © 2011航空学报杂志社

主管单位：中国科学技术协会 主办单位：中国航空学会 北京航空航天大学