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 | Journal Article |
| Year of Publication | 2017 |
| Authors | Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter J., Mangharam, Rahul |
| Journal | SIGBED Review |
| Volume | 14 |
| Pagination | 15–23 |
| Date Published | mar |
| Keywords | 1035715 |
| DOI | 10.1145/3076125.3076127 |
| Citation Key | Jiang:2017:ACM:3076125.3076127 |