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

Registered user since Wed 18 Sep 2019

Name: Dongwoo Kim

Country: South Korea

Affiliation: Kyungpook National University

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