Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System - Concepedia

Concepedia

Publication | Open Access

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

DOI Full Paper Access

48

Citations

7

References

2004

Year

Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick J. Pearce, Steve Van Albert, Jiaxiang Zhou, Rajeev Alur, David Arney

International Journal on Software Tools for Technology Transfer

Cardiopulmonary ResuscitationMedicineMechanical Circulatory SupportBiomedical FlowResuscitation TrainingComputer-assisted Resuscitation AlgorithmFormal SpecificationsCardiologyEmergency MedicineArtificial Organ

References

	Year	Citations

Page 1

Page 1