Publikationen

Gehrke, Matthias; Hirsch, Martin; Nawratil, Petra; Niggemann, Oliver; Schäfer, Wilhelm: Scenario-Based Verification of Automotive Software Systems. Modellbasierte Entwicklung eingebetteter Systeme II (MBEES). Dagstuhl-Workshop 2006, Informatik-Bericht 2006-01 TU Braunschweig, 9.-13. Januar 2006, Dagstuhl, pp. 35-42 , Jan 2006.

Bibtex:

@INPROCEEDINGS{Scenario-Based Verification of Automotive Software Systems. Modellbasierte Entwicklung eingebetteter Systeme II (MBEES).,
     author={Gehrke, Matthias and Hirsch, Martin and Nawratil, Petra and Niggemann, Oliver and Schäfer, Wilhelm},
     title={Scenario-Based Verification of Automotive Software Systems. Modellbasierte Entwicklung eingebetteter Systeme II (MBEES).},
     abstract={},
     booktitle={},
     year={2006},
     month={Jan},
     publisher={Dagstuhl-Workshop 2006, Informatik-Bericht 2006-01 TU Braunschweig, 9.-13. Januar 2006, Dagstuhl, pp. 35-42 },
     address={},
     editor={},
     pages={},
     organisation={},
}

Download: Bibtex.txt