Safe Integration of Learning in SystemC using Timed Contracts and Model Checking
Blohm, Pauline; Adelt, Julius; Herber, Paula
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: von Hanxleden, Reinhard; Edwards, Stephen A.; Brandt, Jens; Zhu, Qi
Book title: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023
Page range: 12-22
Publishing company: Wiley-IEEE Computer Society Press
Place of publication: Hamburg
Status: Published
Release year: 2023
Conference: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany
Keywords: Formal Methods; Model Checking; Hardware/Software Co-Design; Contracts
Authors from the University of Münster
| Adelt, Julius Laurin | Professorship for practical comuter science |
| Blohm, Pauline Anne | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |