DSpace at KOASAS
Browsing DSpace

Browse "NE-Theses_Ph.D.(박사논문) " by Author 성풍현

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 32 to 37 of 37

32
Quantitative evaluation of software testability for specification in statechart and for source code = 상태차트 기반 소프트웨어 명세서와 소스코드에 대한 소프트웨어 시험성의 정량적 평가link

Sohn, Se-Do; 손세도; et al, 한국과학기술원, 2004

33
Reliability and cost modeling for periodically repairable components/systems in NPPs with consideration of maintenance human errors = 정비중 인간실수를 고려한 원자력발전소내의 주기적으로 정비 가능한 컴포넌트/시스템의 신뢰도 및 비용 모델링link

Mohammad Khalaquazzaman; Khalaquzzaman; et al, 한국과학기술원, 2011

34
SCHEME (soft control human error evaluation mEthod): a human reliability analysis method for evaluation of soft control human error in NPP advanced MCRs = 원전 신형주제어실 내 소프트제어 인적 오류평가를 위한 인간신뢰도 분석 방법 개발link

Jang, Inseok; 장인석; et al, 한국과학기술원, 2015

35
Signal pattern matching and automated algorithms for the loose parts monitoring system of the nuclear power plant = 원자력발전소 금속파편감시계통 신호의 패턴매칭과 자동화 알고리듬에 관한 연구link

Chang, Young-Woo; 장영우; et al, 한국과학기술원, 2003

36
State Token petri net modeling method for formal verification of computerized procedure execution flow = 전산화절차서 수행 흐름 정형 검증을 위한 상태 토큰 페트리넷 모델링 방법link

Kim, Yun-Goo; 김윤구; et al, 한국과학기술원, 2012

37
Verification and validation environment construction based on colored Petri Nets for NPP I&C software = 색깔있는 페트리 네트 기반의 원전 계측제어계통 소프트웨어 확인 및 검증 환경 구축에 관한 연구link

Son, Han-Seong; 손한성; et al, 한국과학기술원, 2000

Discover

rss_1.0 rss_2.0 atom_1.0