一种结合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]

Authors

Mi Li

This author has not been identified. Look up 'Mi Li' in Google

Yi Zhuang 0002

This author has not been identified. Look up 'Yi Zhuang 0002' in Google

Xinwen Hu

This author has not been identified. Look up 'Xinwen Hu' in Google