A Tool Suite for Assurance Cases and Evidences: Avionics Experiences.

Alejandra Ruiz, Xabier Larrucea, Huscar Espinoza

Browse the full EuroSPI paper archive.