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.
Rahul Mangharam
First name
Rahul
Last name
Mangharam