Shuanqi Wang, Zhibo Li, Xin He, Ke Sheng, Jingxuan Zhou, Wei Wu. Safety Argument Pattern Language of Safety-Critical Software. In 7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020. pages 459-467, IEEE, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.