Digital Library

Vol. 6, No. 4, April, 2017

Using Model Checking to Verify an Automotive Electric Parking Brake System
Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi
10.3745/KTSDE.2017.6.4.167
A Collecting Model of Public Opinion on Social Disaster in Twitter: A Case Study in ‘Humidifier Disinfectant’
JunHyeong Park, Pum-Mo Ryu, Hyo-Jung Oh
10.3745/KTSDE.2017.6.4.177
An Efficient Method for Finding Similar Regions in a 2-Dimensional Array Data
YeonJeong Choe, Ki Yong Lee
10.3745/KTSDE.2017.6.4.185
An Integrated Method of Iterative and Incremental Requirement Analysis for Large-Scale Systems
Jisung Park, Jaeho Lee
10.3745/KTSDE.2017.6.4.193
Design of a Deep Neural Network Model for Image Caption Generation
Dongha Kim, Incheol Kim
10.3745/KTSDE.2017.6.4.203
Parametric Image Generation and Enhancement in Contrast-Enhanced Ultrasonography
Shin-Hae Kim, Eun-Lim Lee, Eun-Bee Jo, Ho-Joon Kim
10.3745/KTSDE.2017.6.4.211
Sensor Fusion Docking System of Drone and Ground Vehicles Using Image Object Detection
Jong-Hwan Beck, Hee-Su Park, Se-Ryeong Oh, Ji-Hun Shin, Sang-Hoon Kim
10.3745/KTSDE.2017.6.4.217

Indexing


All publications of KTCCS and KTSDE are indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

doi

EBSCO

Google

crosscheck_it_trans

NRF

NRF


KTCCS and KTSDE are also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).