1
Publications
14
Citations
1
H-Index
2015
Active since
Affiliations
Jörg Marhenke is an author at Ingenieurgesellschaft Auto und Verkehr (Germany) specializing in formal specification, software design, and computer engineering.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2015–2015
1
1
Rows per page
1–1 of 1