Digital Library[ Search Result ]

Search : "[ author: Sa Choun Park ]" (3)
Extracting Subsequence of Boolean Variables using SAT-solver
Sa Choun Park   Gi Hwon Kwon
Vol. 15, No. 6, pp. 777-784, Dec. 2008
10.3745/KIPSTD.2008.15.6.777
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
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

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