Quantitative verification of implantable cardiac pacemakers over hybrid heart models
| Autor: | Chen, Taolue, Diciolla, Marco, Kwiatkowska, Marta, Mereacre, Alexandru |
|---|---|
| Zdroj: | In Information and Computation August 2014 236:87-101 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect