DMCA

Quantitative Verification of Implantable Cardiac Pacemakers

by Taolue Chen , Marco Diciolla , Marta Kwiatkowska , Alexandru Mereacre
Citations:14 - 9 self