The Community for Technology Leaders
Green Image
Issue No. 04 - April (2006 vol. 39)
ISSN: 0018-9162
pp: 61-67
Raoul Jetley , North Carolina State University
S. Purushothaman Iyer , North Carolina State University
Paul L. Jones , US Food and Drug Administration, Center for Devices and Radiological Health
ABSTRACT
As device software becomes more complex, regulators need rigorous evaluation tools and methods to assure safe operation of this software. The research presented here applies formal methods-based techniques to this problem space.
INDEX TERMS
Clinical software engineering, Medical software, Healthcare technology, Formal methods
CITATION

R. Jetley, S. P. Iyer and P. L. Jones, "A Formal Methods Approach to Medical Device Review," in Computer, vol. 39, no. , pp. 61-67, 2006.
doi:10.1109/MC.2006.113
93 ms
(Ver 3.3 (11022016))