SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation

DSpace Repositorium (Manakin basiert)

SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation

Autor(en): Walter, Rouven
Tübinger Autor(en):
Walter, Rouven
Sonstige Beteiligte: Eberhard Karls Universität Tübingen
Erscheinungsjahr: 2017
Verlagsangabe: Tübingen
Sprache: Englisch
Referenz zum Volltext: http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-807329
DDC-Klassifikation: 004 - Informatik
Dokumentart: Dissertation
Seitenzahl: viii, 262 Seiten : Illustrationen
Verbund-Nachweis: 500112762
500110840
Kommentar: Dissertation, Eberhard Karls Universität Tübingen, 2018; Erscheint auch als, Online-Ausgabe, Walter, Rouven, SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation, Tübingen, 2018, 1 Online-Ressource (viii, 262 Seiten),
Zur Langanzeige

Das Dokument erscheint in: