7 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
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…