首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
互连技术,综合模块化,航空电子系统,数据总线
】搜索到相关结果
1
条
按文献类别分组
会议论文
(57)
期刊
(36)
学位论文
(9)
报纸
(8)
按栏目分组
会议论文
(57)
期刊
(36)
学位论文
(9)
报纸
(8)
按年份分组
2022
(14)
2021
(8)
2020
(12)
2019
(3)
2018
(5)
2017
(9)
2016
(59)
按来源分组
2004年中国航空学会青年科技论坛
(50)
西北工业大学
(4)
航空计算技术
(3)
航空标准化与质量
(3)
航空电子技术
(3)
第九届中国航空学会青年科技论坛
(3)
电光与控制
(2)
河南科技
(2)
内燃机与配件
(2)
西安交通大学
(2)
科学技术创新
(2)
现代工业经济和信息化
(2)
电子测试
(1)
北京航空航天大学学报
(1)
电讯技术
(1)
北京航空航天大学
(1)
第五届中国航空科学技术大会
(1)
科技风
(1)
软件
(1)
西北大学学报(自然科学版)
(1)
弹箭与制导学报
(1)
航空科学技术
(1)
无线互联科技
(1)
航空维修与工程
(1)
科技资讯
(1)
中国航天第三专业信息网第四十届技术交流会暨第四届空天动力联合会议
(1)
2020（第九届）民用飞机航电国际论坛
(1)
电线电缆
(1)
大型飞机关键技术高层论坛暨中国航空学会2007年学术年会
(1)
工业技术创新
(1)
关键词
形式化建模视角下航空电子系统检测研究
作者：
刘美山
来源：
电子测试
年份：
2022
文献类型 ：
期刊
关键词：
动态
形式化建模
静态
检测研究
航空电子系统
描述：
本文首先了解航空电子系统的典型软件体系结构，在形式化建模视角下分别对航空电子系统进行静态建模和动态建模，提出了形式化的航空电子系统综合检测方法，同样从静态和动态两方面对航空电子系统进行全面检测研究。
<
1
>
Rss订阅
订阅地址：
