Zhihao Jiang

First name

Zhihao

Last name

Jiang
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.