TU Darmstadt / ULB / TUbiblio

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

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 Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen