DSpace at KOASAS
Browsing DSpace

Browse "NE-Journal Papers(저널논문)" by Author Koh, Jung Soo

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
Formal Safety Analysis for PLC Software-Based Safety Critical System Using Z

Koh, Jung Soo; Seong, Poong-Hyun; Son, Han Seong, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.70, pp.314 - 315, 1997

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0