Keyword:Pacemaker

Papers
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers Sidharta Andalam, Avinash Malik, Partha Roop and Mark Trew In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems