Model-Driven Safety Analysis of Closed-Loop Medical Systems

Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee. Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Industrial Informatics, 10(1):3-16, 2014. [doi]

Abstract

Abstract is missing.