Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
- Philip Tasche*
- , Raúl E. Monti
- , Stefanie Eva Drerup
- , Pauline Blohm
- , Paula Herber
- , Marieke Huisman
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
5
Link opens in a new tab
Citations
(Scopus)
199
Downloads
(Pure)