Skip to content

AdvoCATE: An Assurance Case Automation Toolset.

Ewen Denney, Ganesh Pai, Josef Pohl

Year2012
ProceedingsSAFECOMP Workshops

Browse the full SAFECOMP paper archive.