搜索到 篇“ 安全关键软件 “的相关文章

相关作者

杨志斌
作品数：106被引量：167H指数：7
供职机构：南京航空航天大学
研究主题：AADL 自动生成方法 安全关键软件 L模型 AAD
周勇
作品数：155被引量：124H指数：6
供职机构：南京航空航天大学
研究主题：AADL 安全关键软件 自动生成方法 L模型 AAD
郁涵
作品数：11被引量：0H指数：0
供职机构：通用电气公司
研究主题：测试生成器 安全关键软件 架构模型 数据流图 软件自动化
王玉琢
作品数：24被引量：14H指数：2
供职机构：中国人民解放军海军工程大学
研究主题：贝叶斯 鞍点逼近 安全关键软件 后验分布 先验分布
李楠
作品数：25被引量：8H指数：2
供职机构：西南交通大学
研究主题：荧光检测 安全关键软件 列车运行控制系统 猝灭 电缆