Publikationen_1920x250_Detail
In: Dagstuhl-Workshop 2006, Informatik-Bericht 2006-01 TU Braunschweig

Scenario-Based Verification of Automotive Software Systems. Modellbasierte Entwicklung eingebetteter Systeme II (MBEES).

Matthias Gehrke , Martin Hirsch , Petra Nawratil , Oliver Niggemann and Wilhelm Schäfer,
Jan 2006
Literature procurement: Dagstuhl-Workshop 2006, Informatik-Bericht 2006-01 TU Braunschweig
@inproceedings{2288,
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).},
booktitle= {Dagstuhl-Workshop 2006, Informatik-Bericht 2006-01 TU Braunschweig},
year= {2006},
editor= {},
volume= {},
series= {},
pages= {35-42},
address= {Dagstuhl},
month= {Jan},
organisation= {},
publisher= {},
note= {},
}