DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

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

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 1 to 12 of 12

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	Development of Digital Online Active Test Plant Protection System Koo, Seo Ryong; Seong, Poong-Hyun; Son, Han Seong, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.85, pp.399 - 400, 2001-11
4	Effective And Formal Design Analysis Based On Programmable Logic Controller Koo, Seo Ryong; Seong, Poong-Hyun, 4th International Meeting on NPIC&HMIT, 2004-09
5	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
6	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
7	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
8	Mathematical Verification of a Nuclear Power Plant Protection System Function with Combined CPN and PVS Koo, Seo Ryong; Son, Han Seong; Seong, Poong Hyun, NUCLEAR ENGINEERING AND TECHNOLOGY , v.31, no.2, pp.157 - 171, 1999-04
9	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
10	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
11	Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyun; Yoo, Junbeom; Cha, Sungdeok; Son, Dae Sung; Choi, Seong Soo, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.86, no.1, pp.73 - 74, 2002-06
12	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

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0