首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
形式化建模
】搜索到相关结果
1
条
按文献类别分组
期刊
(2)
按栏目分组
期刊
(2)
按年份分组
2022
(2)
按来源分组
电子测试
(1)
航空电子技术
(1)
关键词
形式化建模视角下航空电子系统检测研究
作者：
刘美山
来源：
电子测试
年份：
2022
文献类型 ：
期刊
关键词：
动态
形式化建模
静态
检测研究
航空电子系统
描述：
本文首先了解航空电子系统的典型软件体系结构，在形式化建模视角下分别对航空电子系统进行静态建模和动态建模，提出了形式化的航空电子系统综合检测方法，同样从静态和动态两方面对航空电子系统进行全面检测研究。
<
1
>
Rss订阅
订阅地址：