DSpace at KOASAS
Browsing DSpace

Browse "NE-Journal Papers(저널논문)" by Author Sohn, Sedo

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

1
A Comparative Study of Formal Methods for Safety Critical Software in Nuclear Power Plant

Sohn, Sedo; Seong, Poonghyun, NUCLEAR ENGINEERING AND TECHNOLOGY , v.32, no.6, pp.537 - 548, 2000-12

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0