Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author 손한성

Showing results 1 to 13 of 13

1
A Method to Select Test Input Cases for Safety-critical Software

김희은; 손한성; 강현국, KNS 2013 춘계 학술발표대회, 한국원자력학회, 2013-05-31

2
A Profile-based Method to Select Test Cases for Safety-critical Software

김희은; 손한성; 강현국, KNS 2013 추계학술발표대회, 한국원자력학회, 2013-10-25

3
(A) method for quantitative evaluation of software at the early development stage = 개발 초기 단계에서의 소프트웨어에 대한 정량적 평가 방법에 관한 연구link

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

4
Critical 소프트웨어의 신뢰도 예측에 관한 연구

손한성; 성풍현, '94 추계학술발표회, pp.175 - 180, 1994-05

5
Development of Digital Online Active Test Plant Protection System (DOAT-PPS) for PWR

구서룡; 손한성; 성풍현; 심형진, 한국원자력학회 2000 추계학술발표회, 한국원자력학회, 2000-10

6
Development of Software Safety Analysis Method for Nuclear Power Plant I&C Systems in Requirement Specification Based on Statechart and SCR

이정환; 구서룡; 손한성; 성풍현, 한국원자력학회 2001 춘계학술발표회, 한국원자력학회, 2001-05

7
Identification of the Vital Digital Assets Based on PSA Results Analysis

최문경; 손한성; 김현두; Seong, Poong-Hyun, 한국원자력학회 2016 추계학술발표회, 한국원자력학회, 2016-10-28

8
Setting Component Priorities in Protecting NPPs Against Cyber-Attacks Using Reliability Analysis Techniques

최문경; 성풍현; 손한성, 한국원자력학회 2017 춘계발표대회, Korean Nuclear Society, 2017-05-19

9
SIS-RT: An Integrated Software Inspection Support and Requirement Traceability Tool

손한성; 성풍현, 한국원자력학회 2000 추계학술발표회, 한국원자력학회, 2000-10

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

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

11
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증

지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12

12
원자력 발전소의 디지털 온라인 능동 시험 발전소 보호시스템 및 그 방법

성풍현; 손한성; 구서룡, 2003-09-17

13
원전 계측제어계통 소프트웨어 확인검증을 위한 지능형 통합환경 설계

구서룡; 손한성; 성풍현, 한국원자력학회 2001 춘계학술발표회, 한국원자력학회, 2001-05

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0