Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Yunja Choi

Registered user since Mon 3 Jun 2019

Name: Yunja Choi

Country: South Korea

Affiliation: Kyungpook National University

Personal website: http://sselab.dothome.co.kr/wordpress/index.php/yunjachoi/

Research interests: Software Safety, Model Checking, Embedded Software

Contributions

ASE 2019 Model checking embedded control software using OS-in-the-loop CEGAR
Show activities from other conferences

ASE 2019-profile
View general profile