Greta Koelln

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Formal Verification

Automotive Industry

Top Venues

Publications

Tobias Schmid, Stefanie Schraufstetter, Jonas Fritzsch, Dominik Hellhake, Greta Koelln, Stefan Wagner
Formal Verification of a Fail-Operational Automotive Driving System. CoRR (2021)