Fault Origin Adjudication
Karthikeyan Bhargavan, Carl A. Gunter and Davor Obradovic
ACM Formal Methods in Software Practice (FMSP ’00), Portland, OR, August 2000.
Last updated on Friday, October 28, 2011, 1:25 pm
Fault Origin Adjudication
Karthikeyan Bhargavan, Carl A. Gunter and Davor Obradovic
ACM Formal Methods in Software Practice (FMSP ’00), Portland, OR, August 2000.
Last updated on Friday, October 28, 2011, 1:25 pm