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

中国科技核心期刊

中文核心期刊

CSCD来源期刊

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

陈立前, 吴国福, 姜加红

Static Analysis Technique for Aerospace Embedded Software

CHEN Liqian, WU Guofu, JIANG Jiahong

空间控制技术与应用 . 2021, (2): 86 -92 . DOI: 10.3969/j.issn.1674-1579.2021.02.012