|国家科技期刊平台
| 注册
首页|期刊导航|空间控制技术与应用|航天嵌入式软件静态分析技术

航天嵌入式软件静态分析技术

陈立前 吴国福 姜加红

空间控制技术与应用2021，Vol.47Issue(2)：86-92,7.
✕
空间控制技术与应用2021，Vol.47Issue(2)：86-92,7.

航天嵌入式软件静态分析技术

Static Analysis Technique for Aerospace Embedded Software

陈立前 1吴国福 2姜加红3

作者信息

  • 1. 国防科技大学计算机学院,湖南长沙410073
  • 2. 国防科技大学空天科学学院,湖南长沙410073
  • 3. 北京跟踪与通信技术研究所,北京海淀100095
  • 折叠

摘要

关键词

嵌入式软件/程序分析/静态分析/缺陷检测

分类

信息技术与安全科学

引用本文复制引用

陈立前,吴国福,姜加红..航天嵌入式软件静态分析技术[J].空间控制技术与应用,2021,47(2):86-92,7.

基金项目

国家自然科学基金资助项目(61872445) （61872445）

空间控制技术与应用

OA北大核心CSCDCSTPCD

1674-1579

访问量2
|
下载量0
段落导航相关论文