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

Showing results 1 to 1 of 1

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

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

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0