TU Darmstadt / ULB / TUbiblio

Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets

Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim
Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (eds.) :

Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets.
In: Proceedings of the 18th International Software Product Line Conference. In: Software Product Line Conference .
[Konferenz- oder Workshop-Beitrag], (2014)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
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
Titel: Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets
Sprache: Englisch
Reihe: Software Product Line Conference
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Fachbereich Elektrotechnik und Informationstechnik
Veranstaltungstitel: Proceedings of the 18th International Software Product Line Conference
Hinterlegungsdatum: 27 Jan 2015 14:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen