Christian Bunse, Christian Denger. Improving the Quality of Embedded Systems through the Systematic Combination of Construction and Analysis Activities. In Torsten Klein, Bernhard Rumpe, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2005-1 of Informatik-Bericht, pages 85-96, TU Braunschweig, Institut für Software Systems Engineering, 2005. [doi]
Abstract is missing.