On the right Degree of static Model Analysis for ISO 26262

Heiko Dörr, Ingo Stürmer. On the right Degree of static Model Analysis for ISO 26262. In Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme X, Schloss Dagstuhl, Germany, March 5-7, 2014, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. pages 47-51, fortiss GmbH, München, 2014.

Abstract

Abstract is missing.