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

Showing results 1 to 6 of 6

1
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification

Koo, SR; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Yoo, YJ, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.89, no.3, pp.248 - 260, 2005-09

2
Analysis of wakefield effects on the operation of an energy-recovering superconducting linear accelerator

Cho, Sung Oh; Lee, BC; Jeong, YU; Yoo, J; Park, SH, JOURNAL OF THE KOREAN PHYSICAL SOCIETY, v.41, no.5, pp.662 - 666, 2002

3
Development of Software Requirement Analysis Tool for NPP Software Fields Based on Software Inspection and Formal Method

Koo, SR; Son, HS; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Son, DS; Choi, SS, International Symposium on Future I&C for NPP (ISOFIC 2002), pp.159 - 164, 2002-11

4
Numerical simulation of laser resonators

Yoo, J; Jeong, YU; Lee, BC; Rhee, YJ; Cho, Sung Oh, JOURNAL OF THE KOREAN PHYSICAL SOCIETY, v.44, no.2, pp.293 - 302, 2004-02

5
Systematic evaluation of fault trees using real-time model checker UPPAAL

Cha, S; Son, H; Yoo, J; Jee, E; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.82, no.1, pp.11 - 20, 2003-10

6
Upgrade of a compact FIR FEL driven by a magnetron-based microtron for the wavelength range of 100-300 mu m

Jeong, YU; Kazakevitch, GM; Lee, BC; Cho, Sung Oh; Yoo, J; Gavrilov, NG; Kubarev, VV, NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, v.507, no.1-2, pp.125 - 128, 2003-07

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0