Ines Fey, Mirko Conrad. Demonstrating IEC 61508 Compliance in Model-Based Design. In Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2009-01 of Informatik-Bericht, pages 171-181, TU Braunschweig, Institut für Software Systems Engineering, 2009. [doi]
Abstract is missing.