Pieter Mosterman

First name

Pieter

Middle name

J

Last name

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