Digital Library[ Search Result ]

Search : "[ author: Yun Ja Choi ]" (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
Vol. 19, No. 1, pp. 39-48, Feb. 2012
10.3745/KIPSTD.2012.19.1.39
A Model Translator for Checking Behavioral Consistency of Abstract Components
Hoon Jang   Min Gyu Park   Yun Ja Choi
Vol. 18, No. 6, pp. 443-450, Dec. 2011
10.3745/KIPSTD.2011.18.6.443
Bottom-up Composition and Verification of Embedded Software
Yun Ja Choi
Vol. 17, No. 6, pp. 415-422, Dec. 2010
10.3745/KIPSTD.2010.17.6.415

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals