Visible to the public Biblio

Filters: Author is Mosterman, Pieter J.  [Clear All Filters]
2018-05-23
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter J., Mangharam, Rahul.  2017.  Automated Closed-loop Model Checking of Implantable Pacemakers Using Abstraction Trees. SIGBED Review. 14:15–23.