A Formal Approach to Pre-Market Review for Medical Device Software.

Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees

Browse the full COMPSAC paper archive.