Representing Process Characteristics to Increase Confidence in Assurance Case Arguments.

Aleksander Jarzebowicz, Szymon Markiewicz

Browse the full DEPCoS paper archive.