TU Darmstadt / ULB / TUbiblio

A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines

Benduhn, Fabian and Thüm, Thomas and Lochau, Malte and Leich, Thomas and Saake, Gunter (2015):
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
In: Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, [Online-Edition: http://doi.acm.org/10.1145/2701319.2701332],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2015
Creators: Benduhn, Fabian and Thüm, Thomas and Lochau, Malte and Leich, Thomas and Saake, Gunter
Title: A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Language: English
Title of Book: Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
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
Date Deposited: 09 Feb 2016 08:22
Official URL: http://doi.acm.org/10.1145/2701319.2701332
Export:

Optionen (nur für Redakteure)

View Item View Item