Modelling and analysing the interactive behaviour of an infusion pump

2011/09/20 by José Creissac Campos, Campos, Jose, Michael D. Harrison +1
Computer Science · Medicine · #Formal Methods in Verification #Healthcare Technology and Patient Monitoring #Real-Time Systems Scheduling

paper · pdf · doi:10.14279/tuj.eceasst.45.641.657

Abstract

Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011)

Citations

• Photoperiodic response of Salvia splendens Sello IV. Effects of light quality on elongation of internodes.

Related

• Modelling and analysing the interactive behaviour of an infusion pump
• Automated theorem proving for the systematic analysis of an infusion pump
• Automated theorem proving for the systematic analysis of an infusion pump
• Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
• Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach