From Fault Tree Analysis to Runtime Model-Based Assurance Cases.

Lus Nascimento, Andr Luz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly

Browse the full AINA paper archive.