Static Analysis Technique for Aerospace Embedded Software

CHEN Liqian, WU Guofu, JIANG Jiahong

Aerospace Contrd and Application . 2021, (2): 86 -92 . DOI: 10.3969/j.issn.1674-1579.2021.02.012