Hans Jürgen Holberg

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 2

Top Topics

Safety Critical

Test Case Generation

Nuclear Power Plant

Top Venues

Publications

Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. FM (2021)
Tino Teige, Tom Bienmüller, Hans Jürgen Holberg
Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. MBMV (2016)
Hans-Werner Wiesbrock, Heiko Dörr, Hans Jürgen Holberg
Model Checking im Automotivbereich. GI Jahrestagung (2002)