Systematic Evaluation of (Safety) Assurance Cases

von Chowdhury, Thomas
Veröffentlicht in SAFECOMP (39. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)

Generating Assurance Cases Using Workflows + Models

von Annable, Nicholas
Veröffentlicht in SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security (2022)