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:

Research interests: Software Safety, Model Checking, Embedded Software


ASE 2019Author of Model checking embedded control software using OS-in-the-loop CEGAR within the Research Papers-track
Show activities from other conferences

ASE 2019-profile
View general profile