Digital Library

검색어: " keyword: Formal Verification" (4)
1. Using Model Checking to Verify an Automotive Electric Parking Brake System
Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi, KIPS Transactions on Software and Data Engineering, Vol. 6, No.4, pp.167-176, April 2017
10.3745/KTSDE.2017.6.4.167
KIPS Transactions on Software and Data Engineering
2. Bottom-up Composition and Verification of Embedded Software
Yun Ja Choi, KIPS Journal D (2001 ~ 2012) , Vol. 17D, No.6, pp.415-422, June 2010
10.3745/KIPSTD.2010.17D.6.415
KIPS Journal D (2001 ~ 2012)
3. Extracting Subsequence of Boolean Variables using SAT-solver
Sa Choun Park, Gi Hwon Kwon, KIPS Journal D (2001 ~ 2012) , Vol. 15D, No.6, pp.777-784, June 2008
10.3745/KIPSTD.2008.15D.6.777
KIPS Journal D (2001 ~ 2012)
4. Formal Verification of Embedded Java Program
Tae Hoon Lee, Gi Hwon Kwon, KIPS Journal D (2001 ~ 2012) , Vol. 12D, No.7, pp.931-936, July 2005
10.3745/KIPSTD.2005.12D.7.931
KIPS Journal D (2001 ~ 2012)
1

Indexing


All publications of KTCCS and KTSDE are indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

doi

EBSCO

Google

crosscheck_it_trans

NRF

NRF


KTCCS and KTSDE are also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).