面向源代码可信证据的航天软件可信度量评估方法
刘晗, 陶红伟, 陈仪香
An Approach for Trustworthy Evidence of Source Code Oriented Aerospace Software Trustworthiness Measurement
LIU Han, TAO Hongwei, CHEN Yixiang
空间控制技术与应用
.
2021, (2): 32
-41
.
DOI: 10.3969/j.issn.1674-1579.2021.02.005
