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.
Technische Universität Darmstadt
Dissertation, Bibliographie

Typ des Eintrags: Dissertation
Erschienen: 2012
Autor(en): Schweikert, Martin
Art des Eintrags: Bibliographie
Titel: Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
Sprache: Deutsch
Referenten: Eveking, Prof. Dr.- Hans
Publikationsjahr: 2012
Ort: Berlin
Verlag: Winter-Industries
Reihe: Dissertation.de ; 1671
Datum der mündlichen Prüfung: 2012
Zusätzliche Informationen:

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

Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Rechnersysteme
18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
Hinterlegungsdatum: 16 Okt 2012 07:43
Letzte Änderung: 05 Mär 2013 10:03
PPN:
Referenten: Eveking, Prof. Dr.- Hans
Datum der mündlichen Prüfung / Verteidigung / mdl. Prüfung: 2012
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen