Jiang, Z., Abbas, H., Mosterman, P. J., & Mangharam, R. (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
Abbas, H., Rodionova, A., Bartocci, E., Smolka, S. A., & Grosu, R. (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)