Benjamin Herd, João-Vitor Zacchi, Simon Burton 0001. A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic. 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 213-226, Springer, 2024. [doi]
Abstract is missing.