A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic.

Benjamin Herd, Joo-Vitor Zacchi, Simon Burton

Browse the full SAFECOMP paper archive.