TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Number of items: 1.
Conference or Workshop Item
Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; Saake, Gunter (2015)
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
Conference or Workshop Item, Bibliographie