Old Web
English
Sign In
Acemap
>
authorDetail
>
Hans Jürgen Holberg
Hans Jürgen Holberg
Model checking
Computer science
Reliability engineering
Complex system
Fault model
5
Papers
48
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems
2021
Tino Teige
Andreas Eggers
Karsten Scheibler
Matthias Stasch
Udo Brockmeyer
Hans Jürgen Holberg
Tom Bienmüller
Show All
Source
Cite
Save
Citations (0)
Model-based Safety Analysis of a Flap Control System
2004
Matthias Bretschneider
Airbus Deutschland
Hans Jürgen Holberg
Eckard Böde
Ingo Brückner
Thomas Peikenkamp
Harriet Spenke
Show All
Source
Cite
Save
Citations (28)
Model Checking im Automativbereich
2002
GI | Informatik bewegt: Informatik - . Jahrestagung der Gesellschaft für Informatik e.v.
Hans-Werner Wiesbrock
Heiko Dörr
Hans Jürgen Holberg
Show All
Source
Cite
Save
Citations (0)
1