Showing results 89721 to 89740 of 276014
Fault-Tolerant Techniques for Component and System Levels Seong, Poong-Hyun; KIM, Bo Gyung; KIM, Hee Eun; SON, Han Seong; LEE, Seung Jun; KANG, Hyun Gook, First International Symposium Socially and Technically Symbiotic Systems, pp.05-1 - 05-6, 2012-08-29 |
Fault-Tolernat Supervisory for Plasms Etching Systems using EPD signal Lim Jong-Tae; Park, SJ, 제어계측, 로보틱스 및 자동화 연구회 합동 학술 발표회 , pp.84 - 87, 1998 |
FAULT-TREE ANALYSIS OF INTERMITTENT EVENTS Park, Kyung Soo, INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, v.17, no.8, pp.1133 - 1138, 1986-08 |
Fault-tree-based risk assessment for dynamic condition changes Kang, Hyun Gook; Jang, Seung-Cheol, NUCLEAR ENGINEERING AND TECHNOLOGY, v.39, no.2, pp.123 - 128, 2007-04 |
Faultless Protection Methods in Self-Healing Ethernet Ring Networks Lee, Kwang-koog; Ryoo, Jeong-dong; Joo, Bheom Soon, ETRI JOURNAL, v.34, no.6, pp.816 - 826, 2012-12 |
Favorable confinement of water inside the carbon nanotubes is driven by hydrogen bond and entropy Jung, Yousung, 7th congress of the International Society for Teoretical Chemical Physics, Waseda University, 2011-09-06 |
Favorable pendant-amino metal chelation in VX nerve agent model systems Bandyopadhyay, I; Kim, MJ; Lee, Yoon Sup; Churchill, David G, JOURNAL OF PHYSICAL CHEMISTRY A, v.110, no.10, pp.3655 - 3661, 2006-03 |
Fayet-Iliopoulos terms in 5D orbifold supergravity Abe, H; Choi, Ki-Woon; Kim, IW, JOURNAL OF HIGH ENERGY PHYSICS, v.23, pp.373 - 378, 2004-09 |
FBAR 소자의 제작기법 및 공진특성 윤기완; 송해일; 이재영; 마이린; 휴메이윤 캬비르, 한국정보통신학회논문지, v.11, no.11, pp.2090 - 2094, 2007-11 |
FBAR 필터 응용을 위한 Al 하부전극 상에서 ZnO 박막 증착 및 온도가 ZnO 결정의 성장에 미치는 영향 윤기완; 임문혁; 채동규; MaiLinh, 한국정보통신학회논문지, v.7, no.2, pp.255 - 262, 2003-01 |
FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구 신동환; 지은경; 배두환, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.1, pp.36 - 40, 2013-01 |
FBD 및 LD로 구현된 PLC 프로그램의 Verilog 변환을 통한 정형검증 = Formal verification of PLC programs in FBD and LD via verilog translationlink 김병완; Kim, Byong-Wan; et al, 한국과학기술원, 2009 |
FBD 프로그램 대상 구조적 커버리지를 만족시키는 테스트 시퀀스 생성 알고리즘 송지영; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.570 - 572, 한국정보과학회, 2015-06 |
FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석 신동환; 윤원경; 김준호; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.567 - 569, 한국정보과학회, 2015-06 |
FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구 신동환; 김준호; 윤원경; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.22, no.3, pp.145 - 150, 2016-03 |
FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용 지은경; 송지영; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.24, no.11, pp.589 - 595, 2018-11 |
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, SCIENCE OF COMPUTER PROGRAMMING, v.163, pp.115 - 137, 2018-10 |
FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram Jee, Eunk Young; Jeon, Seungjae; Cha, Sungdeok; Koh, Kwangyong; Yoo, Junbeom; Park, Geeyong; Seong, Poong-Hyun, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.42, no.3, pp.171 - 188, 2010-08 |
FBG 센서가 일체화된 복합재 구조물의 충격위치 검출 박상오; 장병욱; 이연관; 김천곤; 박찬익, 한국복합재료학회 추계학술대회, 한국복합재료학회, 2009-10-23 |
FBG 센서를 내장한 스마트 강연선 개발 윤정방; 김재민; 김영상; 김현우; 서동남, 한국전산구조공학회 춘계학술발표대회, 한국전산구조공학회, 2007-04-01 |
Discover