Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees
| Title | Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter, Mangharam, Rahul |
| Conference Name | Medical Cyber Physical Systems Workshop 2016 |
| Keywords | 1446832 |
| Citation Key | Jiang2015AbstractionTree |