1
Publications
14
Citations
1
H-Index
2020
Active since
Affiliations
Technical University of Darmstadt(Current)
Hendrik Göttmann is an author at Technical University of Darmstadt specializing in computer engineering, software maintenance, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingReal-time SystemsSoftware AnalysisFormal Verification
Publications per year
2020–2020
1
1
Rows per page
1–1 of 1