Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo 0002. Computer-Aided Generation of Assurance Cases. In Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. Volume 14182 of Lecture Notes in Computer Science, pages 135-148, Springer, 2023. [doi]
@inproceedings{WangOLADPCWHMN23,
title = {Computer-Aided Generation of Assurance Cases},
author = {Timothy E. Wang and Chanwook Oh and Matthew Low and Isaac Amundson and Zamira Daw and Alessandro Pinto and Massimiliano L. Chiodo and Guoqiang Wang and Saqib Hasan and Ryan Melville and Pierluigi Nuzzo 0002},
year = {2023},
doi = {10.1007/978-3-031-40953-0_12},
url = {https://doi.org/10.1007/978-3-031-40953-0_12},
researchr = {https://researchr.org/publication/WangOLADPCWHMN23},
cites = {0},
citedby = {0},
pages = {135-148},
booktitle = {Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings},
editor = {Jérémie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch},
volume = {14182},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-40953-0},
}