Towards Model Checking of Implantable Cardioverter Defibrillators
| Title | Towards Model Checking of Implantable Cardioverter Defibrillators |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Abbas, Houssam, Jang, Kuk Jin, Jiang, Zhihao, Mangharam, Rahul |
| Journal | 19th ACM International Conference on Hybrid Systems: Computation and Control |
| Date Published | March |
| Keywords | 1035715, 1446832 |
| Citation Key | habbas2016hscc |