Closed-loop verification of medical devices with model abstraction and refinement
| Title | Closed-loop verification of medical devices with model abstraction and refinement |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Jiang, Zhihao, Pajic, Miroslav, Alur, Rajeev, Mangharam, Rahul |
| Journal | International Journal on Software Tools for Technology Transfer |
| Volume | 16 |
| Pagination | 191–213 |
| Keywords | 1035715 |
| Citation Key | jiang_sttt14 |