Semantic Consistency in Model-Driven Development
Liu, Tianhai
1; Tyszberowicz, Shmuel; Beckert, Bernhard
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Tyszberowicz, Shmuel; Beckert, Bernhard
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 | Vortrag |
| Publikationsmonat/-jahr | 05.2026 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000193591 |
| Veranstaltung | 8th International Summer School on Engineering Trustworthy Software Systems (SETSS 2026), Chongqing, China, 11.05.2026 – 17.05.2026 |
| Externe Relationen | Konferenz Siehe auch |