Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy (2016)
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering.
Konferenzveröffentlichung, Bibliographie
URL / URN: http://dx.doi.org/10.4204/EPTCS.206.3
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 2016 |
Autor(en): | Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy |
Art des Eintrags: | Bibliographie |
Titel: | Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation |
Sprache: | Englisch |
Publikationsjahr: | 2016 |
Reihe: | Electronic Proceedings in Theoretical Computer Science |
Band einer Reihe: | 206 |
Veranstaltungstitel: | Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering |
URL / URN: | http://dx.doi.org/10.4204/EPTCS.206.3 |
Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik 18 Fachbereich Elektrotechnik und Informationstechnik |
Hinterlegungsdatum: | 26 Jan 2017 12:59 |
Letzte Änderung: | 26 Jan 2017 12:59 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |