Simulationsbasiertes Validieren von Spezifikationen und Verifizieren von Software für Kommunikationssysteme in Kraftfahrzeugnetzwerken

dc.contributor.author	Braun, Andreas	de_DE
dc.date.accessioned	2014-03-12T14:15:57Z
dc.date.available	2014-03-12T14:15:57Z
dc.date.issued	2014	de_DE
dc.identifier.isbn	978-3-8439-1376-8	de_DE
dc.identifier.uri	http://hdl.handle.net/10900/43497
dc.language.iso	de	de_DE
dc.publisher	München : Hut	de_DE
dc.relation.ispartofseries	Informatik	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.title	Simulationsbasiertes Validieren von Spezifikationen und Verifizieren von Software für Kommunikationssysteme in Kraftfahrzeugnetzwerken	de_DE
dc.type	PhDThesis	de_DE
utue.artikel.swb	401122875	de_DE
utue.kommentar.intern	Zugl.: Tübingen, Univ., Diss., 2013.	de_DE
utue.personen.pnd	Braun, Andreas/401122867	de_DE
utue.personen.roh	Braun, Andreas	de_DE
utue.publikation.seitengesamt	II, 200 S. : graph. Darst. ; 210 mm x 148 mm, 317 g.	de_DE
utue.publikation.auflage	1. Aufl.	de_DE
utue.titel.verfasserangabe	vorgelegt von Andreas Braun	de_DE
utue.publikation.abrufzeichen	tdis	de_DE
utue.publikation.swbdatum	1402	de_DE
utue.publikation.fachbereich	57	de_DE
utue.publikation.fakultaet	7 Mathematisch-Naturwissenschaftliche Fakultät	de_DE