A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments.

Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky

Browse the full SAFECOMP paper archive.