Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems
Adelt, Julius; Mensing Robert; Herber Paula
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Platzer, André ; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo
Buchtitel: Formal Methods (FM) (Band 14934)
Seitenbereich: 208-228
Verlag: Springer
Erscheinungsort: Milan, Italy
Titel der Reihe: Lecture Notes in Computer Science
Status: Veröffentlicht
Veröffentlichungsjahr: 2024
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: Formal Methods (FM), Milano, Italien
Stichwörter: Formal Verification; Hybrid Systems; Reusability
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) |