Publikationen_1920x250_Detail

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.

Matthias Gehrke , Martin Hirsch , Ulrich Nickel , Oliver Niggemann , Wilhelm Schäfer and Dirk Stichling,
Jan 2007
Literature procurement: MBEES - Model-Based Development of Embedded Systems
@inproceedings{2234,
author= {Gehrke, Matthias and Hirsch, Martin and Nickel, Ulrich and Niggemann, Oliver and Schäfer, Wilhelm and Stichling, Dirk},
title= {Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.},
booktitle= {},
year= {2007},
editor= {},
volume= {},
series= {},
pages= {},
address= {Schloß Dagstuhl},
month= {Jan},
organisation= {},
publisher= {MBEES - Model-Based Development of Embedded Systems},
note= {},
}