Closed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models

  • closed-loop
  • Stony Brook University
  • CPS Domains
  • Medical Devices
  • Control
  • Modeling
  • Health Care
  • Simulation
  • Validation and Verification
  • Foundations
  • National CPS PI Meeting 2014
  • 2014
  • Poster
  • Academia
  • CPSPI MTG 2014 Posters, Videos and Abstracts
Submitted by Abhishek Murthy on