Safety Argument Pattern Language of Safety-Critical Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shuanqi Wang' in GoogleThis author has not been identified. Look up 'Zhibo Li' in GoogleThis author has not been identified. Look up 'Xin He' in GoogleThis author has not been identified. Look up 'Ke Sheng' in GoogleThis author has not been identified. Look up 'Jingxuan Zhou' in GoogleThis author has not been identified. Look up 'Wei Wu' in Google

runs on WebDSL