Digital Library

검색어: " keyword: Model Checking" (7)
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. Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
Dongwoo Kim, Yunja Choi, KIPS Transactions on Software and Data Engineering, Vol. 5, No.12, pp.615-622, December 2016
10.3745/KTSDE.2016.5.12.615
KIPS Transactions on Software and Data Engineering
3. A Model Translator for Checking Behavioral Consistency of Abstract Components
Hoon Jang, Min Gyu Park, Yun Ja Choi, KIPS Journal D (2001 ~ 2012) , Vol. 18D, No.6, pp.443-450, June 2011
10.3745/KIPSTD.2011.18D.6.443
KIPS Journal D (2001 ~ 2012)
4. Automatic Verification of the Control Flow Model for Effective Embedded Software Design
Sa Choun Park, Gi Hwon Kwon, Soon Hoi Ha, KIPS Journal A (2001 ~ 2012) , Vol. 12A, No.7, pp.563-570, July 2005
10.3745/KIPSTA.2005.12A.7.563
KIPS Journal A (2001 ~ 2012)
5. Efficient Counterexample Generation for Safety Violation in Model Checking
Tae Hoon Lee, Gi Hwon Kwon, KIPS Journal D (2001 ~ 2012) , Vol. 12D, No.1, pp.81-90, January 2005
10.3745/KIPSTD.2005.12D.1.081
KIPS Journal D (2001 ~ 2012)
6. Abstraction of Models with State Projections in Model Checking
Gi Hwon Kwon, KIPS Journal D (2001 ~ 2012) , Vol. 11D, No.6, pp.1295-1300, June 2004
10.3745/KIPSTD.2004.11D.6.1295
KIPS Journal D (2001 ~ 2012)
7. Efficient Counterexample Generation for Game Solving in NuSMV
Kwon Gi Hyeon, Lee Tae Hun, KIPS Journal D (2001 ~ 2012) , Vol. 10D, No.5, pp.813-820, May 2003
10.3745/KIPSTD.2003.10D.5.813
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).