Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel. Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. 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 73-82, TU Braunschweig, Institut für Software Systems Engineering, 2007. [doi]
@inproceedings{GehrkeHSNSN07-0,
title = {Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme},
author = {Matthias Gehrke and Martin Hirsch and Wilhelm Schäfer and Oliver Niggemann and Dirk Stichling and Ulrich Nickel},
year = {2007},
url = {http://www.sse-tubs.de/publications/CGRS_MBEES_InfoBericht_07.pdf},
researchr = {https://researchr.org/publication/GehrkeHSNSN07-0},
cites = {0},
citedby = {0},
pages = {73-82},
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},
}