按文献类别分组
关键词
一种基于AADL的航空电子系统仿真和验证技术
作者: 李铁颖   王科翔   戴苏榕   来源: 航空电子技术 年份: 2020 文献类型 : 期刊 关键词: 基于模型的系统评估   结构化分析和设计语言   形式化方法  
描述: 一种基于AADL的航空电子系统仿真和验证技术
< 1
Rss订阅