Digital Library


Search: "[ author: Tae Hoon Lee ]" (6)
    Formal Verification of Embedded Java Program
    Tae Hoon Lee , Gi Hwon Kwon KIPS Transactions on Computer and Communication Systems, 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 KIPS Transactions on Computer and Communication Systems, 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 KIPS Transactions on Computer and Communication Systems, 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 KIPS Transactions on Computer and Communication Systems, 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 KIPS Transactions on Computer and Communication Systems, 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 KIPS Transactions on Computer and Communication Systems, Vol. 6, No. 12, pp. 3606-3612, Dec. 1999
    10.3745/KIPSTE.1999.6.12.3606