DSpace at KOASAS
Browsing DSpace

Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author Koo, SR

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 4 of 4

1
A method of formal requirement analysis for NPP I & C systems based on UML modeling with software cost reduction

Koo, SR; Son, HS; Seong, Poong-Hyun, JOURNAL OF SYSTEMS AND SOFTWARE, v.67, no.3, pp.213 - 224, 2003-09

2
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification

Koo, SR; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Yoo, YJ, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.89, no.3, pp.248 - 260, 2005-09

3
Development of Software Requirement Analysis Tool for NPP Software Fields Based on Software Inspection and Formal Method

Koo, SR; Son, HS; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Son, DS; Choi, SS, International Symposium on Future I&C for NPP (ISOFIC 2002), pp.159 - 164, 2002-11

4
Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC)

Koo, SR; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.91, no.6, pp.648 - 664, 2006-06

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0