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]
@inproceedings{WangLHSZW20,
title = {Safety Argument Pattern Language of Safety-Critical Software},
author = {Shuanqi Wang and Zhibo Li and Xin He and Ke Sheng and Jingxuan Zhou and Wei Wu},
year = {2020},
doi = {10.1109/DSA51864.2020.00078},
url = {https://doi.org/10.1109/DSA51864.2020.00078},
researchr = {https://researchr.org/publication/WangLHSZW20},
cites = {0},
citedby = {0},
pages = {459-467},
booktitle = {7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020},
publisher = {IEEE},
isbn = {978-0-7381-2422-3},
}