Login / Signup
Kerstin Eder
ORCID
Publication Activity (10 Years)
Years Active: 1995-2024
Publications (10 Years): 87
Top Topics
Formal Verification
Theorem Proving
Energy Consumption
Embedded Systems
Top Venues
CoRR
AITest
SCOPES
TAROS
</>
Publications
</>