Franziska Kühn, Martin Leucker, Alexander Mildner. OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. In Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer, editors, 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. Volume 36 of OASICS, pages 133-136, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.