Korean
Digital Library[ Search Result ]
Search : "[ author: Soon Hoi Ha ]" (2)
Automatic Verification of the Control Flow Model for Effective Embedded Software Design
Sa Choun Park Gi Hwon Kwon Soon Hoi Ha
Vol. 12, No. 7, pp. 563-570, Dec. 2005
10.3745/KIPSTA.2005.12.7.563
Vol. 12, No. 7, pp. 563-570, Dec. 2005
10.3745/KIPSTA.2005.12.7.563
Definition of Step Semantics for Hierarchical State Machine based on Flattening
Sa Choun Park Gi Hwon Kwon Soon Hoi Ha
Vol. 12, No. 6, pp. 863-868, Dec. 2005
10.3745/KIPSTD.2005.12.6.863
Vol. 12, No. 6, pp. 863-868, Dec. 2005
10.3745/KIPSTD.2005.12.6.863
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).