Fingerprint
Dive into the research topics of 'Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System
Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, Jiaxiang Zhou
Research output: Contribution to journal › Article › peer-review