7 citations · 7 across the 1 of their papers we have counts for
1 paper
Andrew Gacek, John Backes, Darren Cofer +2
Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represe…