Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems
Adelt, Julius; Mensing Robert; Herber Paula
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Platzer, André ; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo
Book title: Formal Methods (FM) (Volume 14934)
Page range: 208-228
Publishing company: Springer
Place of publication: Milan, Italy
Title of series: Lecture Notes in Computer Science
Status: Published
Release year: 2024
Language in which the publication is written: English
Conference: Formal Methods (FM), Milano, Italy
Keywords: Formal Verification; Hybrid Systems; Reusability
Authors from the University of Münster
| Adelt, Julius Laurin | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |