X-by-Construction: Unifying Functional Correctness and Non-Functional Guarantees
Kodetzki, Maximilian
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
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 | Proceedingsbeitrag |
| Publikationsdatum | 21.10.2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-8-3315-5325-8 KITopen-ID: 1000188469 |
| Erschienen in | IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW 2025) |
| Veranstaltung | 36th International Symposium on Software Reliability Engineering Workshops (ISSREW 2025), Santo André (São Paulo), Brasilien, 21.10.2025 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 99–102 |
| Nachgewiesen in | OpenAlex Dimensions |