Timed Contract Automata
Beckert, Bernhard
1; Bremer, Andreas 1; Weigl, Alexander
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Bremer, Andreas 1; Weigl, Alexander
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 |
| Publikationsdatum | 17.04.2026 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-032-22774-4 ISSN: 0302-9743 KITopen-ID: 1000193006 |
| Erschienen in | Fundamental Approaches to Software Engineering – 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings. Ed.: E. Albert |
| Veranstaltung | 29th International Conference - Part of the International Joint Conferences on Theory and Practice of Software (FASE / ETAPS 2026), Turin, Italien, 11.04.2026 – 16.04.2026 |
| Verlag | Springer Nature Switzerland |
| Seiten | 392–411 |
| Serie | Lecture Notes in Computer Science ; 16504 |
| Nachgewiesen in | OpenAlex |