Statistics
Publications
11
Citations
256
H-Index
10
Active since
2002
Affiliations
Eun-Young Kang is an author at University of Namur specializing in computer science, model checking, and formal methods.
Publications per year
2002–2021
11
11
A graph-based global registration for 2D mosaics
Eun-Young Kang, I. Cohen, Gérard Medioni · 2002 · 75 citations
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Eun-Young Kang, Dongrui Mu, Li Huang et al. · 2017 · 24 citations
Engineering, Automotive Engineering, Computer Engineering +17
Formal Modeling and Verification of SDN-OpenFlow
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang et al. · 2013 · 20 citations
1–5 of 11