Digital Library[ Search Result ]

Search : "[ author: Ryu Young Suk ]" (1)
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

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