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 :
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
[Online-Edition: http://doi.acm.org/10.1145/2701319.2701332]
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
[Conference or Workshop Item] , (2015)

Official URL: http://doi.acm.org/10.1145/2701319.2701332
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