MIT
MIT AERO

chuchu

Building Safe Autonomy

Main menu

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

Title

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage
Publication Type
Journal Article
Number
5
Year of Publication
2015

Authors

Journal
IEEE Design {&} Test
Volume
32
Pagination
27–34
Date Published
oct
URL
http://ieeexplore.ieee.org/document/7130608/
DOI
http://dx.doi.org/10.1109/MDAT.2015.2448543

Google Scholar