ETAPS 2019 (series) / Eun-Young Kang
Registered user since Tue 29 Jan 2019
Name: Eun-Young Kang
Country: Denmark
Affiliation: University of Southern Denmark
Personal website: https://sites.google.com/view/eykang
Research interests: Model checking, software quality assurance, cyber-physical systems, real-time embedded systems, safety & security
Contributions
| FASE 2019 | Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile