- 年份
- 2023(2)
- 2018(2)
- 2017(2)
- 2016(4)
- 2015(2)
- 2013(2)
- 2012(5)
- 2011(2)
- 2010(1)
- 2009(1)
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)(17)
- 北京大学中文核心期刊目录(北大核心)(12)
- 中国科学引文数据库(CSCD)(10)
- 中国人文社会科学引文数据库(CHSSCD)(1)
- 更多...
- 刊名
- 航空工程进展(2)
- 计算机工程(2)
- 计算机工程与应用(2)
- 计算机应用与软件(2)
- 中北大学学报(自然科学版)(1)
- 信息工程大学学报(1)
- 数字技术与应用(1)
- 沈阳工业大学学报(1)
- 沈阳工业大学学报(社会科学版)(1)
- 测控技术(1)
- 更多...
- 作者单位
- 北京航空航天大学(6)
- 南京航空航天大学(2)
- 南京大学(1)
- 南京电子技术研究所(1)
- 四川大学(1)
- 西北工业大学(1)
- 更多...
- 语种
- 汉语(25)
- 关键词
- 软件安全性(25)
- 安全关键软件(3)
- 软件可靠性(3)
- Petri网(2)
- 嵌入式软件(2)
- 故障原因分析(2)
- 故障建模(2)
- 故障树分析(2)
- 机载软件(2)
- 系统架构(2)
- 更多...
- 作者
- 陆民燕(4)
- 刘斌(2)
- 姜梦岑(2)
- 柳庆宇(2)
- 温晓玲(2)
- 艾笑天(2)
- 钟德明(2)
- 丁泽文(1)
- 万永超(1)
- 何建安(1)
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 25 条结果
- 基于Petri网的联锁软件安全性测试的研究北大核心CSCD
- 基于任务角色的雷达人机交互软件设计研究
- 基于C语言的软件潜在分析工具的设计与实现北大核心CSTPCD
- 基于缺陷数据的雷达软件失效模式分析与应用北大核心CSCDCSTPCD
- 基于抽象解释的迹划分技术研究CSTPCD
- 基于扩展Petri网的安全关键软件需求模型检验北大核心CSTPCD
- 基于故障注入的嵌入式软件安全性测试框架及实现北大核心CSCDCSTPCD
- 软件安全性残留风险分级评估的实例分析北大核心CSCDCSTPCD
- 基于构件失效建模的软件安全性分析北大核心CSCD
- 基于系统架构与运行框图的机载软件故障建模与分析应用CSTPCD