1
Publications
14
Citations
1
H-Index
2012
Active since
Jochen Kamischke is an author specializing in machine translation, formal methods, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceMachine LearningProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2012–2012
1
1
Rows per page
1–1 of 1