Modeling and Verification of a Dual Chamber Implantable Pacemaker.

Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam

Browse the full TACAS paper archive.