Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions
Herber, Paula; Adelt, Julius; Tasche, Philip
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Madeira, Alexandre; Knapp, Alexander
Buchtitel: Software Engineering and Formal Methods
Seitenbereich: 3-21
Verlag: Springer Nature
Erscheinungsort: Cham
Status: Veröffentlicht
Veröffentlichungsjahr: 2025
Konferenz: Software Engineering and Formal Methods (SEFM), Aveiro, Portugal
ISBN: 978-3-031-77382-2
Stichwörter: Domain-Specific Abstractions; Formal Verification; Embedded Systems
Autor*innen der Universität Münster
| Adelt, Julius Laurin | Professur für Praktische Informatik (Prof. Herber) |
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |