Name:Eun-Young Kang

Country:Denmark

Affiliation:University of Southern Denmark

Research interests:Model checking, software quality assurance, cyber-physical systems, real-time embedded systems, safety & security