%0 Conference Paper %1 conf/memocode/BlohmAH23 %A Blohm, Pauline %A Adelt, Julius %A Herber, Paula %B MEMOCODE %D 2023 %E von Hanxleden, Reinhard %E Edwards, Stephen A. %E Brandt, Jens %E Zhu, Qi %I ACM / IEEE %K dblp %P 12-22 %T Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#BlohmAH23 %@ 979-8-4007-0318-8

@inproceedings{conf/memocode/BlohmAH23, added-at = {2023-12-02T00:00:00.000+0100}, author = {Blohm, Pauline and Adelt, Julius and Herber, Paula}, biburl = {https://www.bibsonomy.org/bibtex/2787f8c6412de57a4762c30c9cf059fea/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2023}, editor = {von Hanxleden, Reinhard and Edwards, Stephen A. and Brandt, Jens and Zhu, Qi}, ee = {https://ieeexplore.ieee.org/document/10316202}, interhash = {2defcd06cb1144d2c987409840055979}, intrahash = {787f8c6412de57a4762c30c9cf059fea}, isbn = {979-8-4007-0318-8}, keywords = {dblp}, pages = {12-22}, publisher = {ACM / IEEE}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#BlohmAH23}, year = 2023 }