%0 Generic
%T The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
%A Méry, Dominique
%A Schätz, Bernhard
%A Wassyng, Alan
%A Dominique Méry and Bernhard Schätz and Alan Wassyng
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Software certification
%K Validation & verification
%K Embedded systems
%K Medical devices
%K Formal methods
%K Real-time systems
%K Model-driven development
%D 2014
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation