Certus: A Domain Specific Language for Confidence Assessment in Assurance Cases.

Simon Diemert, Jens H. Weber

Browse the full SAFECOMP paper archive.