TY - Computer Science A1 - LI Mi, ZHUANG Yi, HU Xin-wen T1 - Embedded Software Reliability Model and Evaluation Method Combining AADL and Z Y1 - 2019-08-15 JF - Computer Science JO - Computer Science SP - 217 EP - 223 VL - 46 IS - 8 UR - https://www.jsjkx.com N1 - 10.11896/j.issn.1002-137X.2019.08.036 ER -