Sciweavers

MBEES
2007

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme

13 years 6 months ago
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme
Matthias Gehrke, Martin Hirsch, Wilhelm Schäf
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2007
Where MBEES
Authors Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
Comments (0)