Publikationen

Niggemann, Oliver; Otterbach, Rainer: Durchgehende Systemverifikation im Automotiven Entwicklungsprozess (in german).. Tagungsband des Dagstuhl-Workshops "Modellbasierte Entwicklung eingebetteter Systeme IV" (MBEES), 2008, Schloß Dagstuhl , Aug 2008.

Bibtex:

@INPROCEEDINGS{Durchgehende Systemverifikation im Automotiven Entwicklungsprozess (in german). ,
     author={Niggemann, Oliver and Otterbach, Rainer},
     title={Durchgehende Systemverifikation im Automotiven Entwicklungsprozess (in german). },
     abstract={},
     booktitle={},
     year={2008},
     month={Aug},
     publisher={Tagungsband des Dagstuhl-Workshops "Modellbasierte Entwicklung eingebetteter Systeme IV" (MBEES), 2008, Schloß Dagstuhl },
     address={},
     editor={},
     pages={},
     organisation={},
}

Download: Bibtex.txt