Hybrid Automata Model of the Heart for Formal Verification of Pacemakers

Sidharta Andalam, Avinash Malik, Partha S. Roop, Mark L. Trew. Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. In Goran Frehse, Matthias Althoff, editors, ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. Volume 43 of EPiC Series in Computing, pages 9-17, EasyChair, 2016. [doi]

Authors

Sidharta Andalam

This author has not been identified. Look up 'Sidharta Andalam' in Google

Avinash Malik

This author has not been identified. Look up 'Avinash Malik' in Google

Partha S. Roop

This author has not been identified. Look up 'Partha S. Roop' in Google

Mark L. Trew

This author has not been identified. Look up 'Mark L. Trew' in Google