Heeheon Kim is an author at Seoul National University specializing in formal methods, mathematical programming, and parallel computing.
Top concepts
EngineeringFormal MethodsComputer ScienceReal-time SystemsParallel ComputingFormal VerificationOperations ResearchSystems EngineeringComputer EngineeringScheduling Algorithms
Publications per year
2006–2006
1
1
Rows per page
1–1 of 1