Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X
Herber Paula, Adelt Julius, Liebrenz Timm
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Götz S, Linsbauer L, Schaefer I, Wortmann A
Buchtitel: Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021
Seitenbereich: 1-4
Verlag: CEUR-WS
Titel der Reihe: CEUR Workshop Proceedings
Nr. in Reihe: 2814
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: Proceedings of the Software Engineering 2021 Satellite Events, Automotive Software Engineering (ASE) Workshop, Braunschweig/Virtual, Germany, undefined
Link zum Volltext: http://ceur-ws.org/Vol-2814/short-A3-2.pdf
Autor*innen der Universität Münster
| Adelt, Julius Laurin | Institut für Informatik |
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |
| Liebrenz, Timm | Professur für Praktische Informatik (Prof. Herber) |