TU Darmstadt / ULB / TUbiblio

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

Mennicke, Stephan and Lochau, Malte and Schroeter, Julia and Winkelmann, Tim
Gnesi, S. and Fantechi, A. and Heymans, P. and Rubin, J. and Czarnecki, K. and Dhungana, D. (eds.) (2014):
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, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2014
Editors: Gnesi, S. and Fantechi, A. and Heymans, P. and Rubin, J. and Czarnecki, K. and Dhungana, D.
Creators: Mennicke, Stephan and Lochau, Malte and Schroeter, Julia and Winkelmann, Tim
Title: Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets
Language: English
Series Name: Software Product Line Conference
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Event Title: Proceedings of the 18th International Software Product Line Conference
Date Deposited: 27 Jan 2015 14:58
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item