Digital Library[ Search Result ]
Search : "[ author: Ki Hyun Chung ]" (7)
Implementation of the Simulink Execution Module by Applying Automata Theory
Kyung Joon Kim Ki Hyun Chung Kyung Hee Choi
Vol. 19, No. 1, pp. 23-34, Feb. 2012
10.3745/KIPSTA.2012.19.1.23
Vol. 19, No. 1, pp. 23-34, Feb. 2012

Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming
Hong Seok Lee Ki Hyun Chung Kyung Hee Choi
Vol. 17, No. 5, pp. 337-346, Oct. 2010
10.3745/KIPSTD.2010.17.5.337
Vol. 17, No. 5, pp. 337-346, Oct. 2010

Test Case Generation Strategy for Timing Diagram
Hong Seok Lee Ki Hyun Chung Kyung Hee Choi
Vol. 17, No. 4, pp. 283-296, Aug. 2010
10.3745/KIPSTD.2010.17.4.283
Vol. 17, No. 4, pp. 283-296, Aug. 2010

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

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
Vol. 17, No. 1, pp. 19-26, Feb. 2010
10.3745/KIPSTA.2010.17.1.19
Kyeong Ho Moon
Vol. 17, No. 1, pp. 19-26, Feb. 2010

A Study on CAN Based System Reliability Test
Jong Hyun Kim Ki Hyun Chung Kyung Hee Choi
Vol. 15, No. 3, pp. 199-204, Jun. 2008
10.3745/KIPSTC.2008.15.3.199
Vol. 15, No. 3, pp. 199-204, Jun. 2008

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