Automatisiertes Testen mit Message Sequence Charts (MSCs)

Andrea Osterloh, Oscar Slotosch. Automatisiertes Testen mit Message Sequence Charts (MSCs). In Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2008-2 of Informatik-Bericht, pages 1-2, TU Braunschweig, Institut für Software Systems Engineering, 2008. [doi]

Abstract

Abstract is missing.