DSpace at KOASAS
Browsing DSpace

Browse "NE-Conference Papers(학술회의논문)" by Author Koo, Seo Ryong

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

1
A Method of Formal Requirement Analysis for NPP I&C Systems Based on Object-Oriented UML Modeling with Software Cost Reduction

Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyun, International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human-Machine Interface Technologies (NPIC&HMIT 2000), 2000-11

2
A Method of Formal Requirements Analysis for NPP I&C systems Based on Object-Oriented Visual Modeling with SCR

Koo, Seo Ryong; Seong, Poong-Hyun, 한국원자력학회 '99 추계 학술발표회, 한국원자력학회, 1999-10

3
Effective And Formal Design Analysis Based On Programmable Logic Controller

Koo, Seo Ryong; Seong, Poong-Hyun, 4th International Meeting on NPIC&HMIT, 2004-09

4
Experimental Investigation of Relation between Information Flow of Diagnosis Tasks and Workload

Ha, Chang Hoon; Kim, Jong Hyun; Koo, Seo Ryong; Seong, Poong-Hyun, HCI International 2005, 2005-07

5
Formal Verification Method for Nuclear I&C Systems using ESDT and SMV in the Software Design Phase

Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, NUTHOS-6, 2004-10

6
Mathematical Verification of A Nuclear Power Plant Protection System Function with Combined CPN and PVS

Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyun, 한국원자력학회 '98 춘계 학술발표회, pp.315 - 320, 한국원자력학회, 1998-05

7
Software Design Analysis Technique for the Development of PLC-based Safety Critical Systems

Koo, Seo Ryong; Seong, Poong-Hyun, ISOFIC2005, pp.188 - 193, 2005-11

8
Software Design Specification and Analysis (NuFDS) Approach forthe Safety Critical Software based on Programmable Logic Controller (PLC)

Koo, Seo Ryong; Seong, Poong-Hyun, 한국원자력학회 2004 춘계발표회, 한국원자력학회, 2004-05

9
VERIFICATION METHOD FOR THE FBD-STYLE DESIGN SPECIFICATION USING SDT AND SMV

Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, SE2004, 2004-02

Discover

rss_1.0 rss_2.0 atom_1.0