Verification Strategies for Feature-Oriented Software Product Lines
Kuiter, Elias; Knüppel, Alexander; Bordis, Tabea
; Runge, Tobias; Schaefer, Ina
; Runge, Tobias; Schaefer, Ina
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 23.02.2022 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4503-9604-2 KITopen-ID: 1000173511 |
| Erschienen in | Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems. Ed.: P. Arcaini |
| Veranstaltung | 16th International Working Conference on Variability Modelling of Software-Intensive Systems (2022), Florenz, Italien, 23.02.2022 – 25.02.2022 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 1–9 |
| Nachgewiesen in | OpenAlex Scopus Dimensions |