2006 |
4 | EE | Raoul Praful Jetley,
S. Purushothaman Iyer,
Paul L. Jones,
William Spees:
A Formal Approach to Pre-Market Review for Medical Device Software.
COMPSAC (1) 2006: 169-177 |
3 | EE | Raoul Praful Jetley,
S. Purushothaman Iyer,
Paul L. Jones:
A Formal Methods Approach to Medical Device Review.
IEEE Computer 39(4): 61-67 (2006) |
2004 |
2 | EE | S. Purushothaman Iyer,
David Hislop,
Paul L. Jones,
Jaime Lee,
Frederick Pearce,
Stephen Van Albert:
Introductory paper.
STTT 5(4): 299-300 (2004) |
2001 |
1 | EE | Kirk Sayre,
Jim Kenner,
Paul L. Jones:
Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems.
CBMS 2001: 445- |