. (2016). Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016. Presented at the.
Houssam Abbas
First name
Houssam
Last name
Abbas
. (2017). Quantitative Regular Expressions for Arrhythmia Detection Algorithms. International Conference on Computational Methods in Systems Biology. Presented at the. Darmstadt, Germany : Springer, Cham. https://doi.org/https://doi.org/10.1007/978-3-319-67471-1_2 (Original work published 2017)