Including Defeaters in Quantitative Confidence Assessments for Assurance Cases

Simon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber. Including Defeaters in Quantitative Confidence Assessments for Assurance Cases. In Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings. Volume 14989 of Lecture Notes in Computer Science, pages 239-250, Springer, 2024. [doi]

Abstract

Abstract is missing.