Digital Library


Search: " author: Tae Hoon Lee" (7)
    Formal Verification of Embedded Java Program
    Tae Hoon Lee , Gi Hwon Kwon KIPS Transactions on Software and Data Engineering, Vol. 12, No. 7, pp. 931-936, Jul. 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 Software and Data Engineering, Vol. 12, No. 7, pp. 571-582, Jul. 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 Software and Data Engineering, Vol. 12, No. 1, pp. 81-90, Jan. 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 Software and Data Engineering, Vol. 8, No. 3, pp. 271-276, Mar. 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 Software and Data Engineering, 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 Software and Data Engineering, Vol. 6, No. 12, pp. 3606-3612, Dec. 1999
    10.3745/KIPSTE.1999.6.12.3606


    Korean Learning Assistant System with Automatically Extracted Knowledge
    Gi Tae Park , Tae Hoon Lee , So Hyun Hwang , Byeong Man Kim , Hyun Ah Lee , Yoon Sik Shin KIPS Transactions on Software and Data Engineering, Vol. 1, No. 2, pp. 91-102, Nov. 2012
    10.3745/KTSDE.2012.1.2.91