Items where authors include "Zacchi, João Vitor"

Proceedings Paper

Herd, Benjamin, Burton, Simon orcid.org/0000-0001-9040-8752 and Zacchi, João Vitor (2024) A Deductive Approach to Safety Assurance:Formalising Safety Contracts with Subjective Logic. In: Ceccarelli, Andrea, Bondavalli, Andrea, Trapp, Mario, Schoitsch, Erwin, Gallina, Barbara and Bitsch, Friedemann, (eds.) Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Proceedings. 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2024, 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, SASSUR 2024, Towards A Safer Systems architectur, 17 Sep 2024. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Nature Switzerland , ITA , pp. 213-226.