TU Darmstadt / ULB / TUbiblio

Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen

Schweikert, Martin (2012):
Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen.
Berlin, Winter-Industries, TU Darmstadt, In: Dissertation.de ; 1671, ISBN 978-3-86624-571-6,
[Ph.D. Thesis]

Item Type: Ph.D. Thesis
Erschienen: 2012
Creators: Schweikert, Martin
Title: Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
Language: German
Series Name: Dissertation.de ; 1671
Place of Publication: Berlin
Publisher: Winter-Industries
ISBN: 978-3-86624-571-6
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:43
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