Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions
Herber, Paula; Adelt, Julius; Tasche, Philip
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Madeira, Alexandre; Knapp, Alexander
Book title: Software Engineering and Formal Methods
Page range: 3-21
Publishing company: Springer Nature
Place of publication: Cham
Status: Published
Release year: 2025
Conference: Software Engineering and Formal Methods (SEFM), Aveiro, Portugal
ISBN: 978-3-031-77382-2
Keywords: Domain-Specific Abstractions; Formal Verification; Embedded Systems
Authors from the University of Münster
| Adelt, Julius Laurin | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |