A software analysis technique for quantifying reliability in high-risk medical devices.

Jeffrey M. Voas, Keith W. Miller, Jeffery E. Payne

Browse the full CBMS paper archive.