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

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

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.5, Iss.4, 2004-05, pp. : 308-319

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Formal methods software engineering for the CARA system

By Martin John C.

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 301-307

Springer Publishing Company

Access to resources Recommend Favorite

A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm

By Jetley Raoul Praful Carlos Cohan Iyer S. Purushothaman

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 320-330

Springer Publishing Company

Access to resources Recommend Favorite

Synthesizing structured analysis and object‐based formal specifications

By Coleman David

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 221-253

Springer Publishing Company

Access to resources Recommend Favorite

Computer-Assisted E-Customs Transactions: Proposing a System to Support Small and Medium-Sized Enterprises in Electronically Declaring International Exports

International Journal of Electronic Government Research (IJEGR), Vol. 11, Iss. 1, 2015-01 ,pp. : 21-38

IGI Global_journal

Access to resources Recommend Favorite

Understanding and exploring formal specifications

By Siddiqi J. Morrey I. Hibberd R. Buckberry G.

Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. : 411-432

Springer Publishing Company

Access to resources Recommend Favorite