Login / Signup
Stefanie Eva Drerup
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Embedded Systems
Hw Sw
Consumer Electronics
Computing Power
Top Venues
VMCAI (2)
</>
Publications
</>
Philip Tasche
,
Raúl E. Monti
,
Stefanie Eva Drerup
,
Pauline Blohm
,
Paula Herber
,
Marieke Huisman
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.
VMCAI (2)
(2024)