Digital Library[ Search Result ]

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
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
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
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
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
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
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

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
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
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
Vol. 15, No. 3, pp. 191-198, Jun. 2008
10.3745/KIPSTC.2008.15.3.191

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals