Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.
Matthias Gehrke , Martin Hirsch , Ulrich Nickel , Oliver Niggemann , Wilhelm Schäfer und Dirk Stichling,
Jan 2007
Literatur Beschaffung:
MBEES - Model-Based Development of Embedded Systems
Bibtex: Download Bibtex
@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 | = | {}, |