Formal Specifications and Analysis of the Computer-Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System
International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-003-0132-7
Full Text
Open PDFAbstract
Available in full text
Date
May 1, 2004
Authors
Publisher
Springer Science and Business Media LLC