DSpace at KOASAS
Browsing DSpace

Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" 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 1 to 7 of 7

1
(A) method of formal requirement analysis for NPP I&C systems based on object-oriented UML modeling with software cost reduction = 객체지향 UML 모델링과 SCR 기반의 원전계측제어계통 요구사항에 대한 정형적 분석 방법에 관한 연구link

Koo, Seo-Ryong; 구서룡; et al, 한국과학기술원, 2000

2
(An) integrated environment of software development and V&V for PLC based safety-critical systems = PLC기반 필수안전시스템을 위한 소프트웨어 개발 및 확인검증 통합환경에 관한 연구link

Koo, Seo-Ryong; 구서룡; et al, 한국과학기술원, 2005

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

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

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

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

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

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

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

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

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

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

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0