Eun Young Kang

Eun Young Kang

University of Southern Denmark - Tianjin / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1588304
Syddansk Universitet
person_outline Eun Young Kang's MOST POPULAR ARTICLES
1-) A methodology for formal analysis and verification of EAST-ADL models Reliability Engineering & System Safety 120, 127-138, 2013
2-) Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT Computer Safety, Reliability, and Security: 30th International Conference …, 2011
3-) Formal verification of safety & security related timing constraints for a cooperative automotive system Fundamental Approaches to Software Engineering: 22nd International …, 2019
4-) Verification and validation of a cyber-physical system in the automotive domain 2017 IEEE International Conference on Software Quality, Reliability and …, 2017
5-) A vision for behavioural model-driven validation of software product lines Leveraging Applications of Formal Methods, Verification and Validation …, 2012