1035715

biblio

Visible to the public Cloud-based Secure Logger For Medical Devices

Submitted by el_wehby on Wed, 05/23/2018 - 4:05pm
biblio

Visible to the public Automated Closed-loop Model Checking of Implantable Pacemakers Using Abstraction Trees

Submitted by el_wehby on Wed, 05/23/2018 - 4:05pm
biblio

Visible to the public Physiology-Invariant Meal Detection for Type 1 Diabetes

Submitted by el_wehby on Wed, 05/23/2018 - 4:04pm
biblio

Visible to the public Prediction of Critical Pulmonary Shunts in Infants

Submitted by el_wehby on Wed, 05/23/2018 - 4:04pm
biblio

Visible to the public Automated Oracle Data Selection Support

Submitted by el_wehby on Wed, 05/23/2018 - 4:04pm
biblio

Visible to the public Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data

Submitted by el_wehby on Wed, 05/23/2018 - 4:04pm
biblio

Visible to the public The Risks of Coverage-Directed Test Case Generation

Submitted by el_wehby on Wed, 05/23/2018 - 4:04pm
biblio

Visible to the public Towards a Model-Based Meal Detector for {Type I} Diabetics

Submitted by el_wehby on Wed, 05/23/2018 - 4:04pm