Logo des Repositoriums
 
Konferenzbeitrag

Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2007

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e. V.

Zusammenfassung

Beschreibung

Gehrke, Matthias; Hirsch, Martin; Schäfer, Wilhelm; Niggemann, Oliver; Stichling, Dirk; Nickel, Ulrich (2007): Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-199-7. pp. 251-252. Regular Research Papers. Hamburg. 27.-30.03.2007

Schlagwörter

Zitierform

DOI

Tags