213201 | Verification and Editing of Multi-Axis NC Code Yang, Min-Yang; Kim, Chan Bong, 7th International Conference on Production/Precision Engineering, 1994 |
213202 | Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001 |
213203 | Verification and validation environment construction based on colored Petri Nets for NPP I&C software = 색깔있는 페트리 네트 기반의 원전 계측제어계통 소프트웨어 확인 및 검증 환경 구축에 관한 연구link Son, Han-Seong; 손한성; et al, 한국과학기술원, 2000 |
213204 | Verification and Validation of the Performance of WSN Yoo, Seong-eun; Chong, Poh Kit; Kim, Seong Hoon; Pham, Minh-Long, INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2015 |
213205 | Verification experiment of compressed entanglement witnesses using entangled photon pairs in bipartite qubit system = 이체계 큐비트의 얽힌 광자쌍을 이용한 집약 얽힘 증거 연산 검증 실험link Kim, Jin-Woo; Rhee, June-Koo Kevin; et al, 한국과학기술원, 2020 |
213206 | Verification framework for continuous-time black-box models based on Gaussian process regression applied to co-simulation of marine propulsion system = 가우시안 프로세스 회귀법에 기반한 선박 추진 용 연속시간 블랙박스 모델 검증 방법론에 관한 연구link Yoo, Seunghyeon; Chang, Daejun; et al, 한국과학기술원, 2022 |
213207 | VERIFICATION METHOD FOR THE FBD-STYLE DESIGN SPECIFICATION USING SDT AND SMV Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, SE2004, 2004-02 |
213208 | Verification Methodology for Simulation Model based on System Morphism Choi, Chang-Beom; Kim, Tag-Gon, DHSS‘ 2011, DHSS, 2011-09 |
213209 | Verification methodology of compatible microprocessors Yim, JS; Park, CJ; Yang, WS; Oh, HS; Lee, HC; Choi, H; Kim, TH; et al, Proceedings of the 1997 Asia and South Pacific Design Automation Conference, ASP-DAC, pp.173 - 180, 1997-01-28 |
213210 | Verification of A Microprocessor Using Real World Applications Chang, Y.S.; Lee, S.J.; Kyung, Chong-Min; Park, In-Cheol, IEEE International High Level Design Validation and Test Workshop(HLDVT'98), pp.204 - 210, IEEE, 1998-11 |
213211 | Verification of a Microprocessor Using Real World Applications Chang, Y.S.; Lee, S.J.; Park, In-Cheol; Kyung, Chong-Min, The 36th Design Automation Conference(DAC), pp.181 - 184, The 36th Design Automation Conference(DAC), 1999-06 |
213212 | Verification of correlated errors in noisy quantum measurements with NISQ devices = NISQ 장치를 이용한 잡음 섞인 양자 측정의 상관 오류 검증link Seo, Seungchan; Bae, Joonwoo; et al, 한국과학기술원, 2022 |
213213 | Verification of Directed Self-Assembly (DSA) Guide Patterns through Machine Learning Shim, Seongbo; Cai, Sibo; Yang, Seunghune; Choi, Jungdal; Shin, Youngsoo, Conference on Alternative Lithographic Technologies VII, SPIE, 2015-02-26 |
213214 | Verification of electrodeposition behavior of Ce(III) in terms of its empirical formula in high temperature molten LiCl-KCl = 고온 LiCl-KCl 용융염 내 Ce(III)의 전착예측 실험상관식 개발을 통한 전착거동 규명link Jee, Young Taek; Yun, Jong-Il; et al, 한국과학기술원, 2019 |
213215 | Verification of Engineering Assumptions in Modeling of Airborne Release of Carbon-14 Scott A. Simonson; Yim Man-Sung, 1996 Electric Power Research Institute International LLW Conference, no.1996, pp.203 - 214, EPRI, 1996-07 |
213216 | Verification of finite state machine using temporal logic specification = 시간논리 사양으로 주어진 유한상태 Machine 의 검증link Jeong, Seh-Woong; 정세웅; et al, 한국과학기술원, 1987 |
213217 | Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007 |
213218 | Verification of Gas System Analysis Code GAMMA+ with S-CO2 Compressor Test Data 배성준; 안윤한; 이정익, 2015 한국원자력학회 춘계학술대회, 한국원자력학회, 2015-05-07 |
213219 | Verification of Ge-on-insulator structure for a mid-infrared photonics platform Kim, SangHyeon; Han, Jae-Hoon; Shim, Jae-Phil; Kim, Hyung-Jun; Choi, Won Jun, OPTICAL MATERIALS EXPRESS, v.8, no.2, pp.440 - 451, 2018-02 |
213220 | Verification of Graphemes Using Neural Networks for HMM-Based On-line Handwritten Hangul Syllable Recognition Kim, JinHyung; Cho, SJ, Proceeding of the First Tsinghua-KAIST Joint Workshop on Document Recognition, v.2, no.0, pp.18 - 24, International Journal of Computer Processing of Oriental Languages, 2002-03 |