Digital Library[ Search Result ]

Search : "[ author: Tae Hoon Lee ]" (6)
Formal Verification of Embedded Java Program
Tae Hoon Lee   Gi Hwon Kwon
Vol. 12, No. 7, pp. 931-936, Dec. 2005
10.3745/KIPSTD.2005.12.7.931
RFFS: Design of a Reliable NAND Flash File System for Embedded system
Tae Hoon Lee   Song Hwa Park   Tae Hoon Kim   Sang Gi Lee   Joo Kyong Lee  
Ki Dong Chung
Vol. 12, No. 7, pp. 571-582, Dec. 2005
10.3745/KIPSTA.2005.12.7.571
Efficient Counterexample Generation for Safety Violation in Model Checking
Tae Hoon Lee   Gi Hwon Kwon
Vol. 12, No. 1, pp. 81-90, Feb. 2005
10.3745/KIPSTD.2005.12.1.81
Application of Block Design for an Efficient Conference Key Distribution System
Tae Hoon Lee  Il Yong Chung
Vol. 8, No. 3, pp. 271-276, Jun. 2001
10.3745/KIPSTC.2001.8.3.271
Design of Voice Conference System using Reliable Multicast
Ki Pyung Song  Kyung Chul Gu  Chi Hang Park  Gwang Hyun Kim  Tae Hoon Lee

Vol. 7, No. 5, pp. 1525-1535, May   2000
10.3745/KIPSTE.2000.7.5.1525
The Taxonomy Criteria of DoS Attack Pattern for Enhanced Intrusion Detection System
Kwang Deuk Kim  Seung Kyun Park  Tae Hoon Lee  Sang Ho Lee
Vol. 6, No. 12, pp. 3606-3612, Dec. 1999
10.3745/KIPSTE.1999.6.12.3606

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