Concepedia

Dominik Hansen

DH

Statistics

Publications

2

Citations

44

H-Index

2

Active since

2015

Affiliations

Heinrich Heine University Düsseldorf(Current)

Dominik Hansen is an author at Heinrich Heine University Düsseldorf specializing in systems engineering, engineering, and computer science.

Top concepts

Publications per year

2015–2020

2

Publications

2

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

Dominik Hansen, Michaël Leuschel, Philipp Körner et al. · International Journal on Software Tools for Technology Transfer · 2020 · 31 citations · Full text

, , +17

Validation of the ABZ landing gear system using ProB

Lukas Ladenberger, Dominik Hansen, Harald Wiegard et al. · International Journal on Software Tools for Technology Transfer · 2015 · 13 citations

, , +6

1–2 of 2