Dae-Yon Hwang is an author at Korea University specializing in system software, formal specification, and systems engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2013–2013
1
1
Formal Modeling and Verification of SDN-OpenFlow
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang et al. · 2013 · 20 citations
Rows per page
1–1 of 1