首页
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻动态
全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
首页>
根据【关键词:
故障建模,基于模型的安全分析,模型检查,BIP(行为交互优先级),形式化方法
】搜索到相关结果
1
条
按文献类别分组
期刊
(4)
学位论文
(2)
按栏目分组
期刊
(4)
学位论文
(2)
按年份分组
2022
(1)
2020
(1)
2019
(1)
2018
(2)
2017
(1)
按来源分组
计算机技术与发展
(2)
西北工业大学
(1)
电子设计工程
(1)
航空电子技术
(1)
华东师范大学
(1)
关键词
一种基于AADL的航空电子系统仿真和验证技术
作者:
李铁颖
王科翔
戴苏榕
来源:
航空电子技术
年份:
2020
文献类型 :
期刊
关键词:
基于模型的系统评估
结构化分析和设计语言
形式化方法
描述:
一种基于AADL的航空电子系统仿真和验证技术
<
1
>
Rss订阅
订阅地址: