Digital Library[ Search Result ]

Search : "[ author: Jung Lan ]" (4)
Formal Semantics for Processing Exceptions
Jung Lan Han
Vol. 17, No. 4, pp. 173-180, Aug. 2010
10.3745/KIPSTA.2010.17.4.173
A Concurrent Incremental Evaluation Technique Using Multitasking
Jung Lan Han
Vol. 17, No. 2, pp. 73-80, Apr. 2010
10.3745/KIPSTA.2010.17.2.73
Building of Integrated Increment Interpretation System Based on Action Equations
Jung Lan Han   Sung Choi
Vol. 11, No. 3, pp. 149-156, Jun. 2004
10.3745/KIPSTA.2004.11.3.149
Specification and Simulation Environment for Prototying the Object Model
Jung Lan  Kim Jung A  Moon Chung Ryeal  Kim Jung Doo
Vol. 4, No. 5, pp. 1243-1256, May   1997
10.3745/KIPSTE.1997.4.5.1243

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