Beom-Jin Kim is an author at Korea University specializing in engineering, instrumentation, and microelectronics.
Top concepts
EngineeringVerificationFormal MethodsInstrumentationSoftware DesignSystem SoftwareComputer ScienceMicroelectronicsProgram AnalysisSoftware Analysis
Publications per year
2013–2016
2
2
Formal Modeling and Verification of SDN-OpenFlow
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang et al. · 2013 · 20 citations
Rows per page
1–2 of 2