TU Darmstadt / ULB / TUbiblio

Creating Well-Structured Specifications in MOFLON

Amelunxen, Carsten ; Rötchke, T. ; Zündorf, A. ; Varro, D. (2006)
Creating Well-Structured Specifications in MOFLON.
Third International Workshop on Graph Based Tools (GraBaTs 2006). Natal, Brasilien (21.09.2006-22.09.2006)
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2006
Autor(en): Amelunxen, Carsten ; Rötchke, T. ; Zündorf, A. ; Varro, D.
Art des Eintrags: Bibliographie
Titel: Creating Well-Structured Specifications in MOFLON
Sprache: Englisch
Publikationsjahr: 2006
Ort: Natal, Brasilien
Buchtitel: Proceedings of the Third International Workshop on Graph Based Tools (GraBaTs 2006), 9 2006; Electronic Communications of EASST, Vol. 1.
Reihe: Electronic Communications of EASST
Band einer Reihe: 1
Veranstaltungstitel: Third International Workshop on Graph Based Tools (GraBaTs 2006)
Veranstaltungsort: Natal, Brasilien
Veranstaltungsdatum: 21.09.2006-22.09.2006
Freie Schlagworte: Echtzeitsysteme
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
20 Fachbereich Informatik
Hinterlegungsdatum: 20 Nov 2008 08:26
Letzte Änderung: 17 Mai 2024 09:25
PPN:
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