首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
模型检测,E,RSML,Nu,SMV,形式化方法
】搜索到相关结果
1
条
按文献类别分组
期刊
(7)
学位论文
(4)
会议论文
(1)
按栏目分组
期刊
(7)
学位论文
(4)
会议论文
(1)
按年份分组
2023
(1)
2022
(1)
2020
(1)
2019
(2)
2018
(2)
2017
(1)
2016
(4)
按来源分组
计算机技术与发展
(2)
燃气涡轮试验与研究
(1)
北京交通大学
(1)
北京航空航天大学
(1)
华东师范大学
(1)
人力资源管理
(1)
国立中央大学
(1)
电光与控制
(1)
西北大学学报(自然科学版)
(1)
航空电子技术
(1)
2011 2ND International Conference on Innovative Computing and Communication and 2011 Asia-Pacific Conference on Information Technology and Ocean Engineering(CICC-ITOE 2011)
(1)
关键词
一种基于AADL的航空电子系统仿真和验证技术
作者：
李铁颖
王科翔
戴苏榕
来源：
航空电子技术
年份：
2020
文献类型 ：
期刊
关键词：
基于模型的系统评估
结构化分析和设计语言
形式化方法
描述：
一种基于AADL的航空电子系统仿真和验证技术
<
1
>
Rss订阅
订阅地址：
