A simulink hybrid heart model for quantitative verification of cardiac pacemakers.
| Autor: | Chen, Taolue, Diciolla, Marco, Kwiatkowska, Marta, Mereacre, Alexandru |
|---|---|
| Zdroj: | Proceedings of the 16th International Conference Hybrid Systems Computation & Control; 4/8/2013, p131-136, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|