A Formalized Classification Schema for Model Consistency
Kühn, Thomas; Fuchß, Dominik
; Corallo, Sophie
; König, Lars
; Burger, Erik
; Keim, Jan
; Mazkatli, Manar
; Sağlam, Timur
; Reiche, Frederik; Koziolek, Anne
; Reussner, Ralf
; Corallo, Sophie
; König, Lars
; Burger, Erik
; Keim, Jan
; Mazkatli, Manar
; Sağlam, Timur
; Reiche, Frederik; Koziolek, Anne
; Reussner, Ralf
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsdatum | 17.07.2023 |
| Sprache | Englisch |
| Identifikator | ISSN: 2190-4782 KITopen-ID: 1000161127 |
| Verlag | Karlsruher Institut für Technologie (KIT) |
| Umfang | 37 S. |
| Serie | Karlsruhe Reports in Informatics ; 2023,1 |