Partha S. Roop, Nathan Allen, Shahab Kazemi. Tuning into my heart through wearables: Towards a formal cardiac digital twin. In Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025. pages 111-121, ACM, 2025. [doi]
Abstract is missing.