Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy (2016):
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
In: Electronic Proceedings in Theoretical Computer Science, 206, pp. 17-31, Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, [Conference or Workshop Item]
URL / URN: http://dx.doi.org/10.4204/EPTCS.206.3
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2016 |
| Creators: | Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy |
| Title: | Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation |
| Language: | English |
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Series Volume: | 206 |
| Divisions: | 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering 18 Department of Electrical Engineering and Information Technology |
| Event Title: | Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering |
| Date Deposited: | 26 Jan 2017 12:59 |
| URL / URN: | http://dx.doi.org/10.4204/EPTCS.206.3 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum