TU Darmstadt / ULB / TUbiblio

Generating Preconditions from Graph Constraints by Higher Order Graph Transformation

Deckwerth, Frederik ; Varró, Gergely :
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
[Online-Edition: http://journal.ub.tu-berlin.de/eceasst/article/view/945]
In: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques. In: Electronic Communications of the EASST , 67 . European Assoc. of Software Science and Technology
[Konferenz- oder Workshop-Beitrag], (2014)

Offizielle URL: http://journal.ub.tu-berlin.de/eceasst/article/view/945
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2014
Autor(en): Deckwerth, Frederik ; Varró, Gergely
Titel: Generating Preconditions from Graph Constraints by Higher Order Graph Transformation
Sprache: Englisch
Reihe: Electronic Communications of the EASST
Band: 67
Verlag: European Assoc. of Software Science and Technology
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Fachbereich Elektrotechnik und Informationstechnik
Veranstaltungstitel: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques
Hinterlegungsdatum: 04 Sep 2014 16:41
Offizielle URL: http://journal.ub.tu-berlin.de/eceasst/article/view/945
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen