Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Arney
Formal Specifications and Analysis of the Computer-Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Formal Specifications in the Design of a Human-Computer Interface
The Infusion Pump
Medical Journal Armed Forces India
Medicine
Analysis of Infusion Pump Data From CHEO
Geographical Information Based Expert System to Estimate Submersible Pump System Specifications
Oriental journal of computer science and technology
Introducing CAVASS: A Computer-Assisted Visualization and Analysis Software System
Incremental Validation of Formal Specifications
Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP
Engineering Journal: Science and Innovation
Isabelle/Sacm: Computer-Assisted Assurance Cases With Integrated Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
