Quantitative Verification of Implantable Cardiac Pacemakers.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Browse the full RTSS paper archive.