现代电子技术2019，Vol.42Issue(16)：6-9,14,5.DOI:10.16652/j.issn.1004-373x.2019.16.002
基于模型检测的机载电子硬件验证方法研究
Research on verification method of airborne electronic hardware based on model detection
摘要
关键词
民用航空/模型检测/机载电子硬件/验证方案/PCI总线/状态机分类
信息技术与安全科学引用本文复制引用
金志威,田毅,芦浩,王鹏..基于模型检测的机载电子硬件验证方法研究[J].现代电子技术,2019,42(16):6-9,14,5.基金项目
国家自然科学基金项目(61601468) （61601468）
中央高校基金(3122016D028) （3122016D028）
