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]
@inproceedings{GipsW07,
title = {Notation und Verfahren zur automatischen Überprüfung von temporalen Signalabhängigkeiten und -merkmalen für modellbasiert entwickelte Software},
author = {Carsten Gips and Hans-Werner Wiesbrock},
year = {2007},
url = {http://www.sse-tubs.de/publications/CGRS_MBEES_InfoBericht_07.pdf},
researchr = {https://researchr.org/publication/GipsW07},
cites = {0},
citedby = {0},
pages = {51-60},
booktitle = {Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme},
editor = {Mirko Conrad and Holger Giese and Bernhard Rumpe and Bernhard Schätz},
volume = {2007-1},
series = {Informatik-Bericht},
publisher = {TU Braunschweig, Institut für Software Systems Engineering},
}