Digital Library[ Search Result ]

Search : "[ author: Kim Sung Un ]" (6)
A Study on Framework for Cell-leve1 and Frame-level Perforrnance Testing in ATM Network
Ahn Sung Soo  Choi Young Bok  Lee Joon Won  Kim Sung Un
Vol. 6, No. 6, pp. 1598-1608, Jun. 1999
10.3745/KIPSTE.1999.6.6.1598
A Study on Implementation of Model Checking Program for Verifying LTS Specification
Park Yong Bum  Kim Tae Kyun  Kim Sung Un
Vol. 5, No. 4, pp. 995-1004, Apr. 1998
10.3745/KIPSTE.1998.5.4.995
LOTOS Protocol Conformance Testing for Formal Description Specifications
Kim Sung Un  Chin Byoung Moon  Ryu Young Suk
Vol. 4, No. 7, pp. 1821-1841, Jul. 1997
10.3745/KIPSTE.1997.4.7.1821
Strong Connectivity Decision Method using Graph Rewriting System in Conformance Testing
Lee Joon Won  Kim Sung Un  Koo Yeon Seol
Vol. 4, No. 5, pp. 1327-1336, May   1997
10.3745/KIPSTE.1997.4.5.1327
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
A study on implementation of software development environment for SDL
Choe Young Han  Kim Sung Un
Vol. 3, No. 6, pp. 1522-1533, Nov. 1996
10.3745/KIPSTE.1996.3.6.1522

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