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]
@article{Li0H19, title = {一种结合AADL与Z的嵌入式软件可靠性建模与评估方法 (Embedded Software Reliability Model and Evaluation Method Combining AADL and Z)}, author = {Mi Li and Yi Zhuang 0002 and Xinwen Hu}, year = {2019}, doi = {10.11896/j.issn.1002-137X.2019.08.036}, url = {https://doi.org/10.11896/j.issn.1002-137X.2019.08.036}, researchr = {https://researchr.org/publication/Li0H19}, cites = {0}, citedby = {0}, journal = {计算机科学}, volume = {46}, number = {8}, pages = {217-223}, }