Login / Signup
Birte Neurohr
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Semi Automated
Virtual World
Formal Methods
Asynchronous Circuits
Top Venues
EDCC Workshops
IEEE Access
</>
Publications
</>
Birte Neurohr
,
Thies de Graaff
,
Andreas Eggers
,
Tom Bienmüller
,
Eike Möhlmann
Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems.
EDCC Workshops
(2024)
Birte Neurohr
,
Tjark Koopmann
,
Eike Möhlmann
,
Martin Fränzle
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems.
IEEE Access
11 (2023)