New formal methods for automotive configuration

DSpace Repositorium (Manakin basiert)

New formal methods for automotive configuration

Autor(en): Zengler, Christoph
Tübinger Autor(en):
Zengler, Christoph
Erscheinungsjahr: 2014
Sprache: Englisch
Referenz zum Volltext: http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-571984
DDC-Klassifikation: 004 - Informatik
Dokumentart: Dissertation
Seitenzahl: 165 S. : Ill., graph. Darst.
Verbund-Nachweis: 416168132
416167454
Kommentar: Tübingen, Univ., Diss., 2014.
Zur Langanzeige

Das Dokument erscheint in: