Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines
Bordis, Tabea
1; Runge, Tobias 1; Schultz, David; Schaefer, Ina
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Runge, Tobias 1; Schultz, David; Schaefer, Ina
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 06.2022 |
| Sprache | Englisch |
| Identifikator | ISSN: 2590-1184, 2665-9182 KITopen-ID: 1000147987 |
| Erschienen in | Journal of Computer Languages |
| Verlag | Elsevier |
| Band | 70 |
| Seiten | Art.-Nr.: 101119 |
| Nachgewiesen in | Scopus Web of Science Dimensions |