Digital Library

검색어: " author: Joon Hyung Cho" (1)
1. Using Model Checking to Verify an Automotive Electric Parking Brake System
Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi, KIPS Transactions on Software and Data Engineering, Vol. 6, No.4, pp.167-176, April 2017
10.3745/KTSDE.2017.6.4.167
KIPS Transactions on Software and Data Engineering
1

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).