Digital Library[ Search Result ]

Search : "[ author: Hong Seok Lee ]" (4)
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
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

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