About this scholarly article

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - A simulink hybrid heart model for quantitative verification of cardiac pacemakers by Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru is a scholarly article available to read on EtoBox.

Author

Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru

Publisher

ACM Press

Published

2013

Language

EN