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
Bibtex: Download Bibtex
@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 | = | {}, |