一种结合AADL与Z的嵌入式软件可靠性建模与评估方法 (Embedded Software Reliability Model and Evaluation Method Combining AADL and Z)

Mi Li, Yi Zhuang 0002, Xinwen Hu. 一种结合AADL与Z的嵌入式软件可靠性建模与评估方法 (Embedded Software Reliability Model and Evaluation Method Combining AADL and Z). 计算机科学, 46(8):217-223, 2019. [doi]

Abstract

Abstract is missing.