Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch. Scenario-Based Verification of Automotive Software Systems. In Holger Giese, Bernhard Rumpe, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2006-1 of Informatik-Bericht, pages 35-42, TU Braunschweig, Institut für Software Systems Engineering, 2006. [doi]
Abstract is missing.