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
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Using Formal Specifications in the Design of a Human-Computer Interface

1982English

The Infusion Pump

Medical Journal Armed Forces India
Medicine
2003English

Analysis of Infusion Pump Data From CHEO

English

Geographical Information Based Expert System to Estimate Submersible Pump System Specifications

Oriental journal of computer science and technology
2017English

Introducing CAVASS: A Computer-Assisted Visualization and Analysis Software System

2007English

Incremental Validation of Formal Specifications

English

Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP

Engineering Journal: Science and Innovation
2013English

Isabelle/Sacm: Computer-Assisted Assurance Cases With Integrated Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy