Digital Library

검색어: " keyword: Abstract Component" (1)
1. 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)
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).