Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees. A Formal Approach to Pre-Market Review for Medical Device Software. In 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. pages 169-177, IEEE Computer Society, 2006. [doi]
Abstract is missing.