Alexander Mildner, Armin Janß, Jasmin Dell'Anna-Pudlik, Paul Merz, Martin Leucker, Klaus Radermacher. Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR. In Fredrik Seehusen, Michael Felderer, Jürgen Großmann, Marc-Florian Wendland, editors, Risk Assessment and Risk-Driven Testing - Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers. Volume 9488 of Lecture Notes in Computer Science, pages 65-74, Springer, 2015. [doi]
Abstract is missing.