Browse by Title
Showing results 90121 to 90140 of 277091
| Fault-Tolerant Supervisory Control of Rapid Thermal Processors Cho, Kwang-Hyun, 1998 Workshop on Control, Automation and Robotics, pp.357 - 360, ICASE, 1998 |
| Fault-tolerant supervisory control under C, D observability and its application Cho, Kwang-Hyun; Lim, Jong-Tae, INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, v.31, no.12, pp.1573 - 1583, 2000-12 |
| 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 |
Discover
Type
Open Access
Date issued
- 1 2040 - 2041
- 32,033 2020 - 2029
- 100,025 2010 - 2019
- 75,672 2000 - 2009
- 44,727 1990 - 1999
- 1,633 1970 - 1979
- 62 1964 - 1969