1446832

biblio

Visible to the public High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices

Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
biblio

Visible to the public Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees

Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
biblio

Visible to the public The Challenges of High-Confidence Medical Device Software

Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
biblio

Visible to the public High-Confidence Medical Device Software Development

Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
biblio

Visible to the public {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}

Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
biblio

Visible to the public {Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties}

Submitted by el_wehby on Fri, 05/11/2018 - 1:36pm
biblio

Visible to the public Closed-loop quantitative verification of rate-adaptive pacemakers

Submitted by el_wehby on Fri, 05/11/2018 - 1:36pm
biblio

Visible to the public Modeling bipolar stimulation of cardiac tissue

Submitted by el_wehby on Fri, 05/11/2018 - 1:36pm