Automatic Safety Verification of Implantable Medical Devices
| Title | Automatic Safety Verification of Implantable Medical Devices |
| Publication Type | Presentation |
| Year of Publication | 2016 |
| Authors | Zhenqi Huang, University of Illinois at Urbana-Champaign, Chuchu Fan, University of Illinois at Urbana-Champaign, Alexandru Mereacre, University of Oxford, Sayan Mitra, University of Illinois at Urbana-Champaign, Marta Kwiatkowska, University of Oxford |
| Keywords | CPS Domains, CPS Technologies |
| Citation Key | node-29204 |
| Attachment | Size |
|---|---|
| bytes |