Korean
Digital Library[ Search Result ]
Search : "[ author: Choi Eun Bok ]" (1)
A Formal Modeling for Temporal and Active Properties of Managed Object Behaviour
Choi Eun Bok Lee Hyung Hyo Noh Bong Nam
Vol. 6, No. 9, pp. 2479-2492, Sep. 1999
10.3745/KIPSTE.1999.6.9.2479
Vol. 6, No. 9, pp. 2479-2492, Sep. 1999
10.3745/KIPSTE.1999.6.9.2479
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).