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 2019Author of Model checking embedded control software using OS-in-the-loop CEGAR within the Research Papers-track
Show activities from other conferences

Using general profile