Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author Choi, Seong Soo

Showing results 1 to 1 of 1

1
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

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0