TU Darmstadt / ULB / TUbiblio

Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen

Dornes, Tobias (2012):
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen.
Berlin, Winter-Industries, TU Darmstadt, In: Dissertation.de ; 1673, ISBN 978-3-86624-573-0,
[Ph.D. Thesis]

Item Type: Ph.D. Thesis
Erschienen: 2012
Creators: Dornes, Tobias
Title: Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen
Language: German
Series Name: Dissertation.de ; 1673
Place of Publication: Berlin
Publisher: Winter-Industries
ISBN: 978-3-86624-573-0
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Computer Systems Group
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Date Deposited: 16 Oct 2012 07:46
Additional Information:

Zugl.: Darmstadt, Techn. Univ., Diss., 2012

Referees: Eveking, Prof. Dr.- Hans
Refereed / Verteidigung / mdl. Prüfung: 2012
Export:

Optionen (nur für Redakteure)

View Item View Item