Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities.

Jan Reich, Marc Zeller, Daniel Schneider

Browse the full SAFECOMP paper archive.