Digital Library

검색어: " author: Yun Ja Choi" (5)
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
2. Code Slicing Tool for Effective Software Verification
Ming Yu Park, Dong Woo Kim, Yun Ja Choi, KIPS Transactions on Software and Data Engineering, Vol. 4, No.1, pp.1-8, January 2015
10.3745/KTSDE.2015.4.1.001
KIPS Transactions on Software and Data Engineering
3. Development of Analysis and Visualization Tool for Java Source Code Changes using Reverse Engineering Technique
Jin Wook Kwon, Yun Ja Choi, Woo Jin Lee, KIPS Journal D (2001 ~ 2012) , Vol. 19D, No.1, pp.39-48, January 2012
10.3745/KIPSTD.2012.19D.1.039
KIPS Journal D (2001 ~ 2012)
4. A Model Translator for Checking Behavioral Consistency of Abstract Components
Hoon Jang, Min Gyu Park, Yun Ja Choi, KIPS Journal D (2001 ~ 2012) , Vol. 18D, No.6, pp.443-450, June 2011
10.3745/KIPSTD.2011.18D.6.443
KIPS Journal D (2001 ~ 2012)
5. Bottom-up Composition and Verification of Embedded Software
Yun Ja Choi, KIPS Journal D (2001 ~ 2012) , Vol. 17D, No.6, pp.415-422, June 2010
10.3745/KIPSTD.2010.17D.6.415
KIPS Journal D (2001 ~ 2012)
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).