| |
| 2004 | ||
|---|---|---|
| 1 | EE | Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. STTT 5(4): 308-319 (2004) |
| 1 | Stephen Van Albert | [1] |
| 2 | Rajeev Alur | [1] |
| 3 | Elsa L. Gunter | [1] |
| 4 | Insup Lee | [1] |
| 5 | Jaime Lee | [1] |
| 6 | Wonhong Nam | [1] |
| 7 | Frederick Pearce | [1] |
| 8 | Jiaxiang Zhou | [1] |