Model-Driven Safety Analysis of Closed-Loop Medical Systems
Pajic, Miroslav, Mangharam, Rahul, Sokolsky, Oleg, Arney, David, Goldman, Julian, Lee, InsupVolume:
10
Language:
english
Journal:
IEEE Transactions on Industrial Informatics
DOI:
10.1109/TII.2012.2226594
Date:
February, 2014
File:
PDF, 2.55 MB
english, 2014