一种结合AADL与Z的嵌入式软件可靠性建模与评估方法

一种结合AADL与Z的嵌入式软件可靠性建模与评估方法

李蜜, 庄毅, 胡镡文

Embedded Software Reliability Model and Evaluation Method Combining AADL and Z

LI Mi, ZHUANG Yi, HU Xin-wen

计算机科学 . 2019, (8): 217 -223 . DOI: 10.11896/j.issn.1002-137X.2019.08.036