Digital Library


Search: "[ author: Kyung Hee Choi ]" (26)
    Implementation of the Simulink Execution Module by Applying Automata Theory
    Kyung Joon Kim , Ki Hyun Chung , Kyung Hee Choi KIPS Transactions on Computer and Communication Systems, Vol. 19, No. 1, pp. 23-34, Jan. 2012
    10.3745/KIPSTA.2012.19.1.23

    Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming
    Hong Seok Lee , Ki Hyun Chung , Kyung Hee Choi KIPS Transactions on Computer and Communication Systems, Vol. 17, No. 5, pp. 337-346, May. 2010
    10.3745/KIPSTD.2010.17.5.337

    Test Case Generation Strategy for Timing Diagram
    Hong Seok Lee , Ki Hyun Chung , Kyung Hee Choi KIPS Transactions on Computer and Communication Systems, Vol. 17, No. 4, pp. 283-296, Apr. 2010
    10.3745/KIPSTD.2010.17.4.283

    Improvement of a Simulink Debugger Capacity for Model Verification
    Seong Jo Kim , Hong Seok Lee , Kyung Hee Choi , Ki Hyun Chung KIPS Transactions on Computer and Communication Systems, Vol. 17, No. 2, pp. 111-118, Feb. 2010
    10.3745/KIPSTD.2010.17.2.111

    Automatic Test Case Generation Through 1-to-1 Requirement Modeling
    Jung Sup Oh , Kyung Hee Choi , Gi Hyun Jung KIPS Transactions on Computer and Communication Systems, Vol. 17, No. 1, pp. 41-52, Jan. 2010
    10.3745/KIPSTD.2010.17.1.41

    A Study of Development of All Wheel Steering ECU in Bi-modal Tram
    Ki Jeong Kim , Soo Ho Lee , Ki Hyun Chung , Kyung Hee Choi , Tae Won Park , Kyeong Ho Moon KIPS Transactions on Computer and Communication Systems, Vol. 17, No. 1, pp. 19-26, Jan. 2010
    10.3745/KIPSTA.2010.17.1.19

    Translation Technique of Requirement Model using Natural Language
    Jung Sup Oh , Hye Ryun Lee , Kang Bin Yim , Kyung Hee Choi , Ki Hyun Jung KIPS Transactions on Computer and Communication Systems, Vol. 15, No. 5, pp. 647-658, May. 2008
    10.3745/KIPSTD.2008.15.5.647

    A Single Requirement Modeling with Graphical Language for Embedded System
    Jung Sup Oh , Hong Seok Lee , Hyun Sang Park , Jang Bok Kim , Kyung Hee Choi , Ki Hyun Jung KIPS Transactions on Computer and Communication Systems, Vol. 15, No. 4, pp. 505-512, Apr. 2008
    10.3745/KIPSTD.2008.15.4.505

    A Study on CAN Based System Reliability Test
    Jong Hyun Kim , Ki Hyun Chung , Kyung Hee Choi KIPS Transactions on Computer and Communication Systems, Vol. 15, No. 3, pp. 199-204, Mar. 2008
    10.3745/KIPSTC.2008.15.3.199

    Economic Damage Model on Industries due to Internet Attack and A Case Study
    Jong Ho Jang , Ki Hyun Chung , Kyung Hee Choi KIPS Transactions on Computer and Communication Systems, Vol. 15, No. 3, pp. 191-198, Mar. 2008
    10.3745/KIPSTC.2008.15.3.191