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

相关作者

杨志斌
作品数：87被引量：133H指数：7
供职机构：南京航空航天大学
研究主题：AADL 自动生成方法 L模型 安全关键软件 AAD
周勇
作品数：133被引量：100H指数：5
供职机构：南京航空航天大学
研究主题：AADL 自动生成方法 安全关键软件 L模型 AAD
郁涵
作品数：11被引量：0H指数：0
供职机构：通用电气公司
研究主题：测试生成器 安全关键软件 架构模型 数据流图 软件自动化
李楠
作品数：22被引量：6H指数：2
供职机构：西南交通大学
研究主题：安全关键软件 列车运行控制系统 荧光检测 电缆 测试用例生成方法
谢文光
作品数：10被引量：1H指数：1
供职机构：中国民航大学
研究主题：安全关键软件 参数选择 捕获 C语言源程序 备份方式