Framework for Automated Hw/Sw Co-Verification of Systemc Designs Using Timed Automata Herber Paula Heftet / 2010 / Engelsk
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings Herber Paula Heftet / 2023 / Engelsk
