Oliver Niggemann, Benno Stein, Thomas Spanuth, Heinrich Balzer. Using Models for Dynamic System Diagnosis: A Case Study in Automotive Engineering. 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 46-56, TU Braunschweig, Institut für Software Systems Engineering, 2009. [doi]
Abstract is missing.