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) |
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] |
2 | Rajeev Alur | [1] |
3 | David Arney | [1] |
4 | Elsa L. Gunter | [1] |
5 | David Hislop | [2] |
6 | S. Purushothaman Iyer (S. Purushothaman) | [2] |
7 | Paul L. Jones | [2] |
8 | Insup Lee | [1] |
9 | Jaime Lee | [1] [2] |
10 | Wonhong Nam | [1] |
11 | Jiaxiang Zhou | [1] |