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

Autor(en):

Braun, Andreas

Tübinger Autor(en):

Erscheinungsjahr:

2014

Reihe:

Informatik

Ausgabe:

1. Aufl.

Verlagsangabe:

München : Hut

Sprache:

Deutsch

ISBN:

978-3-8439-1376-8

Dokumentart:

Dissertation

Seitenzahl:

II, 200 S. : graph. Darst. ; 210 mm x 148 mm, 317 g.

Verbund-Nachweis:

Kommentar:

Zugl.: Tübingen, Univ., Diss., 2013.

Das Dokument erscheint in: