Safe Integration of Learning in SystemC using Timed Contracts and Model Checking

Blohm P; Adelt J; Herber P

Research article in edited proceedings (conference)

Details zur Publikation

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
Release year: 2023
Publishing company: ACM} / {IEEE
Event: Hamburg