Concepedia

Jannik Dunkelau

JD

Statistics

Publications

1

Citations

10

H-Index

1

Active since

2020

Affiliations

Heinrich Heine University Düsseldorf(Current)

Jannik Dunkelau is an author at Heinrich Heine University Düsseldorf specializing in system software, formal specification, and engineering.

ORCID

Top concepts

Publications per year

2020–2020

1

Publications

1

Integrating formal specifications into applications: the ProB Java API

Philipp Körner, Jens Bendisposto, Jannik Dunkelau et al. · Formal Methods in System Design · 2020 · 10 citations · Full text

, , +20

1–1 of 1