loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Formal Methods Approach to Medical Device Review
April 2006 (vol. 39 no. 4)
pp. 61-67
ASCII Text
x 
 
Raoul Jetley, S. Purushothaman Iyer, Paul L. Jones, "A Formal Methods Approach to Medical Device Review," Computer, vol. 39, no. 4, pp. 61-67, April, 2006.
 
 
BibTex
x
 
@article{ 10.1109/MC.2006.113,
author = {Raoul Jetley and S. Purushothaman Iyer and Paul L. Jones},
title = {A Formal Methods Approach to Medical Device Review},
journal ={Computer},
volume = {39},
number = {4},
issn = {0018-9162},
year = {2006},
pages = {61-67},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.113},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - A Formal Methods Approach to Medical Device Review
IS - 4
SN - 0018-9162
SP61
EP67
EPD - 61-67
A1 - Raoul Jetley,
A1 - S. Purushothaman Iyer,
A1 - Paul L. Jones,
PY - 2006
KW - Clinical software engineering
KW - Medical software
KW - Healthcare technology
KW - Formal methods
VL - 39
JA - Computer
ER -
 
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
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:
Raoul Jetley, S. Purushothaman Iyer, Paul L. Jones, "A Formal Methods Approach to Medical Device Review," Computer, vol. 39, no. 4, pp. 61-67, Apr. 2006, doi:10.1109/MC.2006.113
Usage of this product signifies your acceptance of the Terms of Use.