Observable Semantics for Characterising Consistency Between Heterogeneous Models
Färber, Henriette 1; Pascual, Romain
1; Stübinger, Terru 1; Ulbrich, Mattias
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Stübinger, Terru 1; Ulbrich, Mattias
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) Sonderforschungsbereich 1608 – Convide (SFB 1608) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2026 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-032-10444-1 ISSN: 0302-9743 KITopen-ID: 1000187455 |
| Erschienen in | Software Engineering and Formal Methods – 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings. Ed.: D. Bianculli |
| Veranstaltung | 23rd International Conference on Software Engineering and Formal Methods (SEFM 2025), Toledo, Spanien, 10.11.2025 – 14.11.2025 |
| Verlag | Springer Nature Switzerland |
| Seiten | 110–128 |
| Serie | Lecture Notes in Computer Science ; 16192 |
| Vorab online veröffentlicht am | 12.11.2025 |
| Nachgewiesen in | OpenAlex Dimensions Scopus |