Report - software for dependable systems: sufficient evidence?people.csail.mit.edu/dnj/talks/depcert07/depcert07.pdf · ‣ SSAC respondents: MCDC rarely exposes errors medicine: FDA premarket

Please pass captcha verification before submit form