Towards Scalability Analysis of State-based Model Comparison
Armbruster, Martin
1; Mazkatli, Manar
1; Genç, Alp Toraç 1; Koziolek, Anne
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Mazkatli, Manar
1; Genç, Alp Toraç 1; Koziolek, Anne
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 |
| Publikationsjahr | 2025 |
| Sprache | Englisch |
| Identifikator | ISSN: 0720-8928 KITopen-ID: 1000193629 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Softwaretechnik-Trends |
| Veranstaltung | 16th Symposium on Software Performance (SSP 2025), Kiel, Deutschland, 04.11.2025 – 05.11.2025 |
| Verlag | Gesellschaft für Informatik (GI) |
| Serie | Softwaretechnik-Trends ; 45 |
| Projektinformation | SFB 1608/1, 501798263 (DFG, DFG KOORD, SFB 1608) |