一种航空电子系统安全性需求验证方法

著录项

• 来源
  《西安电子科技大学学报》 |2019年第3期|66-73|共8页
• 作者

  丁明; 张书玲; 张琛; 张军;

  展开▼
• 作者单位

  西北大学信息科学与技术学院;

  陕西西安710127;

  西安航空计算技术研究所;

  陕西西安710119;

  西安电子科技大学计算机科学与技术学院;

  陕西西安710071;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  航空电子系统; 安全性; 形式化方法; 模型检测;