Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Margaria, Tiziana; Steffen, Bernhard
Buchtitel: Leveraging Applications of Formal Methods, Verification and Validation (Band 15221)
Seitenbereich: 26-47
Verlag: Springer
Erscheinungsort: Crete
Titel der Reihe: Lecture Notes in Computer Science
Status: Veröffentlicht
Veröffentlichungsjahr: 2025
Konferenz: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. ISoLA 2024, Crete, Griechenland
Link zum Volltext: http://dx.doi.org/10.1007/978-3-031-75380-0_3
Stichwörter: Cyber-Physical Systems; Contracts; Quantitative Safety
Autor*innen der Universität Münster
| Blohm, Pauline Anne | Professur für Praktische Informatik (Prof. Herber) |
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |