Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dongwoo Kim
conf.researchr.org general profile
ASE 2019 profile
Registered user since Wed 18 Sep 2019
Name:
Dongwoo Kim
Country:
South Korea
Affiliation:
Kyungpook National University
Contributions
2019
ASE
Author of Model checking embedded control software using OS-in-the-loop CEGAR within the Research Papers-track
Share
x
Thu 21 Nov 13:07