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
URL / URN: http://doi.acm.org/10.1145/2701319.2701332
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2015 |
| Creators: | Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; Saake, Gunter |
| Type of entry: | Bibliographie |
| Title: | A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines |
| Language: | English |
| Date: | 2015 |
| Book Title: | Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems |
| URL / URN: | http://doi.acm.org/10.1145/2701319.2701332 |
| 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 |
| Last Modified: | 09 Feb 2016 08:22 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum