Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE.

Kateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield

Browse the full SAFECOMP paper archive.