| 1 | A method for verification of computer-aided design model errors Yang, J; Han, Soonhung; Park, S, JOURNAL OF ENGINEERING DESIGN, v.16, no.3, pp.337 - 352, 2005-06 |
| 2 | Accelerating verification with reusable testbench Son, J; Choi, HaeWook; Park, Sin Chong, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, pp.853 - 856, 2006-02 |
| 3 | Development of a verification method for the FBD-style design specification using ESDT and SMV = ESDT와 SMV를 이용한 FBD-style 설계명세서를 위한 검증 방법 개발link Song, Myung-Jun; 송명준; et al, 한국과학기술원, 2004 |
| 4 | Fast Verification of Guide-Patterns for Directed Self-Assembly Lithography Shim, Seongbo; Shin, Youngsoo, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.36, no.9, pp.1522 - 1531, 2017-09 |
| 5 | Goal-directed Weakening of Abstract Interpretation Results Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun; Han, Taisook, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.29, no.10, 2007-10 |
| 6 | Instruction based synthesizable testbench architecture Choi, HS; Choi, HaeWook; Park, Sin Chong, IEICE TRANSACTIONS ON ELECTRONICS, v.E89C, pp.653 - 657, 2006-05 |
| 7 | Model checking using interface abstraction = 인터페이스 추상화를 이용한 모델 체킹link Jung, Hee-Jae; 정희재; et al, 한국과학기술원, 2003 |
| 8 | Synthesis and verification of state machine description using automatic test vector generation = 테스트 벡터 자동 생성을 이용한 스테이트 머신 기술의 합성 및 검증link Ahn, Ki-Yong; 안기용; et al, 한국과학기술원, 2002 |
| 9 | THEMIS: A Mutually Verifiable Billing System for the Cloud Computing Environment Park, Ki-Woong; Han, Jaesun; Chung, JaeWoong; Park, Kyu Ho, IEEE TRANSACTIONS ON SERVICES COMPUTING, v.6, no.3, pp.300 - 313, 2013-07 |
| 10 | Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001 |
| 11 | Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007 |
| 12 | Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증link Choi, Jeong-Hun; 최정훈; et al, 한국과학기술원, 2003 |
| 13 | Virtual control - A virtual cluster tool for testing and verifying a cluster tool controller and a scheduler Joo, YJ; Lee, Tae-Eog, IEEE ROBOTICS & AUTOMATION MAGAZINE, v.11, no.3, pp.33 - 49, 2004-09 |
| 14 | 클러스터 장비의 제어기와 스케쥴러 개발을 위한 가상 클러스터 장비 모델 = A virtual cluster tool model for cluster tool controller and scheduler developmentlink 주용재; Joo, Yong-Jae; et al, 한국과학기술원, 2001 |
| 15 | 함정 미사일 해상전달/장착 시스템에 대한 연구 = A study on a Robotic Transfer/Installation System for battleship missile on the sea(RTIS)link 박혁; Park, Hyuk; et al, 한국과학기술원, 2013 |
