Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti. Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. In Olivier F. Roux, Jérémie Bourdon, editors, Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Volume 9308 of Lecture Notes in Computer Science, pages 3-7, Springer, 2015. [doi]
Abstract is missing.