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