×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
×
主 管:江西省科学技术厅
主 办:江西省计算机学会
江西省计算中心
编辑出版:《计算机与现代化》编辑部
Toggle navigation
首页
期刊介绍
编委会
在线期刊
最新录用
当期目录
过刊浏览
阅读排行
下载排行
引用排行
期刊订阅
常见问题及解答
自荐审稿
联系我们
Email Alert
English
民航业务系统的安全性分析与验证
邢逆舟,王立松
Safety Analysis and Verification on Civil Aviation Business System
XING Ni-zhou, WANG Li-song
计算机与现代化 . 2014, (
10
): 46 -51,65 . DOI: 10.3969/j.issn.1006-2475.2014.10.011