Digital Library[ Search Result ]
Search : "[ author: Chung Jae Yoon ]" (1)
A Formal Method on Conformance Testing for AIN Protocol Test Generation
Kim Sang Ki Kim Sung Un Chung Jae Yoon
Vol. 4, No. 2, pp. 552-562, Feb. 1997
10.3745/KIPSTE.1997.4.2.552
Vol. 4, No. 2, pp. 552-562, Feb. 1997

Submenu
POPULAR KEYWORDS
(TOP 10 KEYWORDS)
Recent Publications
(LAST 3 YEARS)
-
Vol. 14, 2025
-
Vol. 13, 2024
Old Journals
-
KTCCS (KIPS Transactions on Computer and Communication Systems)
-
KTSDE (KIPS Transactions on Software and Data Engineering)
-
The KIPS Transactions:PartA
(2001~2012) -
The KIPS Transactions:PartB
(2001~2012) -
The KIPS Transactions:PartC
(2001~2012) -
The KIPS Transactions:PartD
(2001~2012) -
The Transactions of the Korea Information Processing Society
(1994~2000)
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).