Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems.

Enrico Ferrari, Rupert Schlick, Jose Luis de la Vara, Peter Folkesson, Behrooz Sangchoolie

Browse the full SAFECOMP paper archive.