| |
| 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, Yi Zhang, S. Purushothaman Iyer: Using Abstraction-driven Slicing for Postmortem Analysis of Software. ICPC 2006: 107-116 |
| 2 | 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 | ||
| 1 | EE | Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer: A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. STTT 5(4): 320-330 (2004) |
| 1 | Cohan Carlos | [1] |
| 2 | S. Purushothaman Iyer (S. Purushothaman) | [1] [2] [3] [4] |
| 3 | Paul L. Jones | [2] [4] |
| 4 | William Spees | [4] |
| 5 | Yi Zhang | [3] |