Notation und Verfahren zur automatischen Überprüfung von temporalen Signalabhängigkeiten und -merkmalen für modellbasiert entwickelte Software

Carsten Gips, Hans-Werner Wiesbrock. Notation und Verfahren zur automatischen Überprüfung von temporalen Signalabhängigkeiten und -merkmalen für modellbasiert entwickelte Software. In Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2007-1 of Informatik-Bericht, pages 51-60, TU Braunschweig, Institut für Software Systems Engineering, 2007. [doi]