| Title | Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Huang Z, Fan C, Mereacre A, Mitra S, Kwiatkowska M |
| Journal | IEEE Design {&} Test |
| Volume | 32 |
| Pagination | 27–34 |
| Date Published | oct |
| ISSN | 2168-2356 |
| URL | http://ieeexplore.ieee.org/document/7130608/ |
| DOI | 10.1109/MDAT.2015.2448543 |
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage
Submitted by chuchu@mit.edu on