Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim
Hrsg.: Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (2014)
Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets.
Proceedings of the 18th International Software Product Line Conference.
Konferenzveröffentlichung, Bibliographie
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2014 |
| Herausgeber: | Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. |
| Autor(en): | Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim |
| Art des Eintrags: | Bibliographie |
| Titel: | Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets |
| Sprache: | Englisch |
| Publikationsjahr: | September 2014 |
| Reihe: | Software Product Line Conference |
| Veranstaltungstitel: | Proceedings of the 18th International Software Product Line Conference |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik |
| Hinterlegungsdatum: | 27 Jan 2015 14:58 |
| Letzte Änderung: | 27 Jan 2015 14:58 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum