[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] 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
Chen, Taolue, Diciolla, Marco, Kwiatkowska, Marta, Mereacre, AlexandruYear:
2013
Language:
english
DOI:
10.1145/2461328.2461351
File:
PDF, 4.66 MB
english, 2013