Visible to the public Closed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models

Submitted by Abhishek Murthy on Fri, 11/07/2014 - 1:31pm. Contributors:
License: 
Creative Commons 2.5

Other available formats:

Closed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models