Kosiol, Jens ; Fritsche, Lars ; Nassar, Nebras ; Schürr, Andy ; Taentzer, Gabriele (2018)
Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation.
24th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'18).
Konferenzveröffentlichung, Bibliographie
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 2018 |
Autor(en): | Kosiol, Jens ; Fritsche, Lars ; Nassar, Nebras ; Schürr, Andy ; Taentzer, Gabriele |
Art des Eintrags: | Bibliographie |
Titel: | Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation |
Sprache: | Englisch |
Publikationsjahr: | 2018 |
Verlag: | Springer |
Veranstaltungstitel: | 24th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'18) |
URL / URN: | http://wadt18.cs.rhul.ac.uk/submissions/WADT18A52.pdf |
Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik |
Hinterlegungsdatum: | 29 Nov 2018 10:45 |
Letzte Änderung: | 29 Nov 2018 10:45 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |