Digital Library[ Search Result ]
Search : "[ author: Bae Seong Yong ]" (1)
AIN Protocol Conformance Test Suite Generation Using Formal Methods
Do Hyun Sook Bae Seong Yong Kim Sang Ki
Vol. 5, No. 3, pp. 741-750, Mar. 1998
10.3745/KIPSTE.1998.5.3.741
Vol. 5, No. 3, pp. 741-750, Mar. 1998

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