Safe Integration of Learning in SystemC using Timed Contracts and Model Checking
Blohm, Pauline; Adelt, Julius; Herber, Paula
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: von Hanxleden, Reinhard; Edwards, Stephen A.; Brandt, Jens; Zhu, Qi
Buchtitel: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023
Seitenbereich: 12-22
Verlag: Wiley-IEEE Computer Society Press
Erscheinungsort: Hamburg
Status: Veröffentlicht
Veröffentlichungsjahr: 2023
Konferenz: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Deutschland
Stichwörter: Formal Methods; Model Checking; Hardware/Software Co-Design; Contracts
Autor*innen der Universität Münster
| Adelt, Julius Laurin | Professur für Praktische Informatik (Prof. Herber) |
| Blohm, Pauline Anne | Professur für Praktische Informatik (Prof. Herber) |
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |