Model-Driven Safety Analysis of Closed-Loop Medical Systems
| Title | Model-Driven Safety Analysis of Closed-Loop Medical Systems |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Pajic, M., Mangharam, R., Sokolsky, O., others |
| Journal | IEEE Transactions on Industrial Informatics |
| Volume | 10 |
| Pagination | 3–16 |
| Keywords | 1035715 |
| Citation Key | pajic14 |