1446832

biblio

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

biblio
biblio

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

biblio

Visible to the public High-Confidence Medical Device Software Development

biblio
biblio
biblio

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

biblio

Visible to the public Modeling bipolar stimulation of cardiac tissue