Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Thomas S. E. Maibaum

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Related publications

Determining Starting Basal Rates of Insulin Infusion for Insulin Pump Users: A Comparison Between Methods

BMJ Open Diabetes Research and Care
EndocrinologyMetabolismDiabetes
2016English

Formal Specifications and Analysis of the Computer-Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

The Infusion Pump

Medical Journal Armed Forces India
Medicine
2003English

Consequences of Delayed Pump Infusion Line Change in Patients With Type 1 Diabetes Mellitus Treated With Continuous Subcutaneous Insulin Infusion

Journal of Diabetes and its Complications
Internal MedicineEndocrinologyMetabolismDiabetes
2010English

A Formal Model of Requirements

Open Transportation Journal
ModelingTransportationSimulation
2011English

A Model-Based Approach to Synthesizing Insulin Infusion Pump Usage Parameters for Diabetic Patients

2012English

Successful Treatment of Insulin Allergy in a Type 1 Diabetic Patient by Means of Constant Subcutaneous Pump Infusion of Insulin

Diabetes Care
Internal MedicineEndocrinologyAdvancedMetabolismSpecialized NursingDiabetes
2003English

Continuous Insulin Infusion

Engineering in Medicine
1986English

Prolegomena to a Theory of Formal Reasoning

1978English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy