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 The KIPS Transactions:PartA,
Vol. 19, No. 1, pp. 23-34,
Feb.
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 The KIPS Transactions:PartD,
Vol. 17, No. 5, pp. 337-346,
Oct.
2010
10.3745/KIPSTD.2010.17.5.337

Test Case Generation Strategy for Timing Diagram
Hong Seok Lee , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartD,
Vol. 17, No. 4, pp. 283-296,
Aug.
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 The KIPS Transactions:PartD,
Vol. 17, No. 2, pp. 111-118,
Apr.
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 The KIPS Transactions:PartD,
Vol. 17, No. 1, pp. 41-52,
Feb.
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 The KIPS Transactions:PartA,
Vol. 17, No. 1, pp. 19-26,
Feb.
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 The KIPS Transactions:PartD,
Vol. 15, No. 5, pp. 647-658,
Oct.
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 The KIPS Transactions:PartD,
Vol. 15, No. 4, pp. 505-512,
Aug.
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 The KIPS Transactions:PartC,
Vol. 15, No. 3, pp. 199-204,
Jun.
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 The KIPS Transactions:PartC,
Vol. 15, No. 3, pp. 191-198,
Jun.
2008
10.3745/KIPSTC.2008.15.3.191
