Quantitative Verification of Implantable Cardiac Pacemakers (2012)

by T Chen, M Diciolla, M Z Kwiatkowska, A Mereacre
Venue:In Proc. of RTSS