DSpace at KOASAS
Browsing DSpace

Browse "NE-Conference 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
A Formal Safety Analysis for PLC Software-Based Safety Critical System using Z

Koh, Jung Soo; Seong, Poong-Hyun; Son, Han Seong, 한국원자력학회 '97 춘계 학술발표회, pp.153 - 158, 한국원자력학회, 1997-05

Discover

rss_1.0 rss_2.0 atom_1.0