Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 01, 2015
Source ID
10.1109/mdat.2015.2448543

Entities

People

  • Alexandru Mereacre
  • Chuchu Fan
  • Marta Kwiatkowska
  • Sayan Mitra
  • Zhenqi Huang

Organizations

  • National Science Foundation
  • United States Department of Defense