Registered user since Wed 18 Sep 2019

Name: Dongwoo Kim

Country: South Korea

Affiliation: Kyungpook National University

Contributions

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