Registered user since Wed 18 Sep 2019

Name:Dongwoo Kim
Country:South Korea
Affiliation:Kyungpook National University

Contributions

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