Login / Signup
Yoohee Chung
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Control Software
Constraint Checking
Modeling Method
Federated Databases
Top Venues
APSEC
</>
Publications
</>
Yoohee Chung
,
Dongwoo Kim
,
Yunja Choi
Modeling OSEK/VDX OS Requirements in C.
APSEC
(2017)
Dongwoo Kim
,
Yoohee Chung
,
Yunja Choi
Model-Based API-Call Constraint Checking for Automotive Control Software.
APSEC
(2016)