High-Confidence Medical Device Software Development
| Title | High-Confidence Medical Device Software Development |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Jiang, Zhihao, Mangharam, Rahul |
| Journal | Foundations and Trends in Electronic Design Automation |
| Volume | 9 |
| Keywords | 1446832 |
| Citation Key | jiang2015FnEDA |