Towards Examining the Complexity of Consistency
Pascual, Romain
; Lange, Arne
; Weber, Thomas
1; König, Lars
; Kirsten, Michael
; Stübinger, Terru
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
; Lange, Arne
; Weber, Thomas
1; König, Lars
; Kirsten, Michael
; Stübinger, Terru1 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 | KITopen-ID: 1000186303 |
| Erschienen in | Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems |
| Veranstaltung | 28th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MoDELS 2025), Grand Rapids, MI, USA, 05.10.2025 – 10.10.2025 |
| Verlag | Association for Computing Machinery (ACM) |
| Projektinformation | SFB 1608/1, 501798263 (DFG, DFG KOORD, SFB 1608) |