-
1
-
-
0242488678
-
-
Idaho National Engineering Laboratory, IN-1349, ID, USA
-
Vesely W.E., and Narum R.E. PREP and KITT: computer codes for the automatic evaluation of a fault tree (1970), Idaho National Engineering Laboratory, IN-1349, ID, USA
-
(1970)
PREP and KITT: computer codes for the automatic evaluation of a fault tree
-
-
Vesely, W.E.1
Narum, R.E.2
-
2
-
-
40949115562
-
-
Idaho National Engineering Laboratory, ANCR-1156, ID, USA
-
Fussell J.B., Henry F.B., and Marshall N.H. MOCUS-a computer program to obtain minimal cut sets from fault trees (1974), Idaho National Engineering Laboratory, ANCR-1156, ID, USA
-
(1974)
MOCUS-a computer program to obtain minimal cut sets from fault trees
-
-
Fussell, J.B.1
Henry, F.B.2
Marshall, N.H.3
-
3
-
-
33745859074
-
-
Idaho National Engineering Laboratory, RE-S-76-177, ID, USA
-
Rasmuson D.M., and Marshall N.H. Preliminary user's guide to the reliability analysis system (1976), Idaho National Engineering Laboratory, RE-S-76-177, ID, USA
-
(1976)
Preliminary user's guide to the reliability analysis system
-
-
Rasmuson, D.M.1
Marshall, N.H.2
-
4
-
-
40949083588
-
-
Idaho National Engineering Laboratory, ANCR-1314, ID, USA
-
Burdick G.R., Marshall N.H., and Wilson J.R. COMCAN-a computer program for common cause analysis (1976), Idaho National Engineering Laboratory, ANCR-1314, ID, USA
-
(1976)
COMCAN-a computer program for common cause analysis
-
-
Burdick, G.R.1
Marshall, N.H.2
Wilson, J.R.3
-
5
-
-
40949157210
-
-
Russell KD, Atwood CL, Galyean WJ, Sattison MB, Rasmuson DM. Systems analysis programs for hand-on integrated reliability evaluations (SAPHIRE) Version 5.0. Technical reference manual, NUREG/CR-6116, vol. 1, 1994.
-
Russell KD, Atwood CL, Galyean WJ, Sattison MB, Rasmuson DM. Systems analysis programs for hand-on integrated reliability evaluations (SAPHIRE) Version 5.0. Technical reference manual, NUREG/CR-6116, vol. 1, 1994.
-
-
-
-
6
-
-
0027266412
-
Fault tree reduction and quantification-an overview of IRRAS algorithms
-
Russell K.D., and Rasmuson D.M. Fault tree reduction and quantification-an overview of IRRAS algorithms. Reliab Eng Syst Saf 40 (1993) 149-164
-
(1993)
Reliab Eng Syst Saf
, vol.40
, pp. 149-164
-
-
Russell, K.D.1
Rasmuson, D.M.2
-
7
-
-
0030188682
-
Constrained noninformative priors in risk assessment
-
Atwood C.L. Constrained noninformative priors in risk assessment. Reliab Eng Syst Saf 53 (1996) 37-46
-
(1996)
Reliab Eng Syst Saf
, vol.53
, pp. 37-46
-
-
Atwood, C.L.1
-
8
-
-
40949095396
-
-
Gertman D, Blackman H, Marble J, Byers J, Smith C. The SPAR-H human reliability analysis method. NUREG/CR-6883, 2005.
-
Gertman D, Blackman H, Marble J, Byers J, Smith C. The SPAR-H human reliability analysis method. NUREG/CR-6883, 2005.
-
-
-
-
9
-
-
0017983865
-
Binary decision diagrams
-
Akers S.B. Binary decision diagrams. IEEE Trans Comput C-27 6 (1978) 509-516
-
(1978)
IEEE Trans Comput
, vol.C-27
, Issue.6
, pp. 509-516
-
-
Akers, S.B.1
-
10
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
Bryant R.E. Graph-based algorithms for Boolean function manipulation. IEEE Trans Comput C-35 8 (1986) 667-690
-
(1986)
IEEE Trans Comput
, vol.C-35
, Issue.8
, pp. 667-690
-
-
Bryant, R.E.1
-
11
-
-
0028388503
-
METAPRIME, an interactive fault-tree analyzer
-
Coudert O., and Madre J. METAPRIME, an interactive fault-tree analyzer. IEEE Trans Reliab 43 1 (1994)
-
(1994)
IEEE Trans Reliab
, vol.43
, Issue.1
-
-
Coudert, O.1
Madre, J.2
-
12
-
-
0032010571
-
Calculating conditional core damage probabilities for nuclear power plant operations
-
Smith C.L. Calculating conditional core damage probabilities for nuclear power plant operations. Reliab Eng Syst Saf 59 (1998) 299-307
-
(1998)
Reliab Eng Syst Saf
, vol.59
, pp. 299-307
-
-
Smith, C.L.1
-
13
-
-
40949118616
-
-
Smith CL, Wood ST, Kvarfordt KJ, McCabe PH, Fowler RD, Hoffman CL, et al. Testing, verifying, and validating SAPHIRE versions 6.0 and 7.0. NUREG/CR-6688, 2000.
-
Smith CL, Wood ST, Kvarfordt KJ, McCabe PH, Fowler RD, Hoffman CL, et al. Testing, verifying, and validating SAPHIRE versions 6.0 and 7.0. NUREG/CR-6688, 2000.
-
-
-
|