Browse by Subject V

Showing results 1 to 5 of 5

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
Mechanistic study on the SCR of NO by C3H6 over Pt/V/MCM-41

Jeon, JY; Kim, HY; Woo, Seong-Ihl, APPLIED CATALYSIS B-ENVIRONMENTAL, v.44, no.4, pp.301 - 310, 2003-09

3
New Complementary Points of Cyber Security Schemes for Critical Digital Assets at Nuclear Power Plants

Son, Junyoung; Choi, Jonggyun; Yoon, Hyunsoo, IEEE ACCESS, v.7, pp.78379 - 78390, 2019-06

4
Selective catalytic reduction of NOx in lean-burn engine exhaust over a Pt/V/MCM-41 catalyst

Jeon, JY; Kim, HY; Woo, Seong-Ihl, APPLIED CATALYSIS B-ENVIRONMENTAL, v.44, no.4, pp.311 - 323, 2003-09

5
Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC)

Koo, SR; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.91, no.6, pp.648 - 664, 2006-06

rss_1.0 rss_2.0 atom_1.0