Sign in

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage.

Zhenqi HuangChuchu FanAlexandru MereacreSayan MitraMarta Z. Kwiatkowska
Published in: IEEE Des. Test (2015)
Keyphrases
  • model checking
  • patient specific
  • image analysis
  • face verification
  • formal verification
  • real time
  • signature verification
  • artificial intelligence
  • left ventricle
  • coronary artery