-
1
-
-
0000582237
-
A separable method for incorporating imperfect fault-coverage in combinatorial models
-
Sept
-
S. V. Amari, J. B. Dugan, and R. B. Misra, "A separable method for incorporating imperfect fault-coverage in combinatorial models," IEEE Trans. Reliability, vol. 48, no. 3, pp. 267-274, Sept.
-
IEEE Trans. Reliability
, vol.48
, Issue.3
, pp. 267-274
-
-
Amari, S.V.1
Dugan, J.B.2
Misra, R.B.3
-
2
-
-
34548619793
-
Assessment of redundant systems with imperfect coverage by means of binary decision diagrams
-
Mar, submitted for publication
-
A. F. Myers and A. Rauzy, "Assessment of redundant systems with imperfect coverage by means of binary decision diagrams," Reliability Engineering and System Safety, Mar. 2006, submitted for publication.
-
(2006)
Reliability Engineering and System Safety
-
-
Myers, A.F.1
Rauzy, A.2
-
4
-
-
0013021977
-
Optimal reliability of systems subject to imperfect fault coverage
-
Sept
-
S. V. Amari, J. B. Dugan, and R. B. Misra, "Optimal reliability of systems subject to imperfect fault coverage," IEEE Trans. Reliabilily, vol. 48, no. 3, pp. 275-284, Sept. 1999.
-
(1999)
IEEE Trans. Reliabilily
, vol.48
, Issue.3
, pp. 275-284
-
-
Amari, S.V.1
Dugan, J.B.2
Misra, R.B.3
-
5
-
-
0029271840
-
A combinatorial approach to modeling imperfect coverage
-
Mar
-
S. A. Doyle, J. B. Dugan, and F. A. Patterson-Hine, "A combinatorial approach to modeling imperfect coverage," IEEE Trans. Reliability vol. 44, no. 1, pp. 87-94, Mar.
-
IEEE Trans. Reliability
, vol.44
, Issue.1
, pp. 87-94
-
-
Doyle, S.A.1
Dugan, J.B.2
Patterson-Hine, F.A.3
-
6
-
-
0024684559
-
Fault tree and imperfect coverage
-
Jun
-
J. B. Dugan, "Fault tree and imperfect coverage," IEEE Trans. Reliability, vol. 38, no. 2, pp. 177-185, Jun. 1989.
-
(1989)
IEEE Trans. Reliability
, vol.38
, Issue.2
, pp. 177-185
-
-
Dugan, J.B.1
-
7
-
-
0024682675
-
Coverage modeling for dependability analysis of fault-tolerant systems
-
Jun
-
J. B. Dugan and K. S. Trivedi, "Coverage modeling for dependability analysis of fault-tolerant systems," IEEE Trans. Comput., vol. 38, no. 6, pp. 775-787, Jun. 1989.
-
(1989)
IEEE Trans. Comput
, vol.38
, Issue.6
, pp. 775-787
-
-
Dugan, J.B.1
Trivedi, K.S.2
-
11
-
-
0029510658
-
Numerical methods for reliability evaluation of Markov closed fault-tolerant systems
-
Dec
-
C. Lindemann, M. Malhotra, and K. S. Trivedi, "Numerical methods for reliability evaluation of Markov closed fault-tolerant systems," IEEE Trans. Reliability, vol. 44, no. 4, pp. 694-704, Dec. 1995.
-
(1995)
IEEE Trans. Reliability
, vol.44
, Issue.4
, pp. 694-704
-
-
Lindemann, C.1
Malhotra, M.2
Trivedi, K.S.3
-
12
-
-
0003464055
-
-
2nd ed. Research Triangle Park, NC: ISA, The Instrumentation Systems and Automation Society
-
W. M. Goble, Control Systems Safety Evaluation & Reliability, 2nd ed. Research Triangle Park, NC: ISA - The Instrumentation Systems and Automation Society, 1998.
-
(1998)
Control Systems Safety Evaluation & Reliability
-
-
Goble, W.M.1
-
13
-
-
84976799636
-
Generation of a vector from the lexicographical index
-
Jun
-
B. P. Buckles and M. Lybanon, "Generation of a vector from the lexicographical index," ACM Trans. Math. Softw., vol. 3, no. 2, pp. 180-182, Jun. 1977.
-
(1977)
ACM Trans. Math. Softw
, vol.3
, Issue.2
, pp. 180-182
-
-
Buckles, B.P.1
Lybanon, M.2
-
14
-
-
0004149831
-
-
4th ed, Wolfram Media/ Cambridge University Press
-
S. Wolfram, The Mathematica Book, 4th ed.: Wolfram Media/ Cambridge University Press, 1999.
-
(1999)
The Mathematica Book
-
-
Wolfram, S.1
-
16
-
-
0023242960
-
Efficient computation of k-to-1-out-of-n system reliability
-
A. M. Rushdi, "Efficient computation of k-to-1-out-of-n system reliability," Reliability Engineering, vol. 17, pp. 157-163, 1987.
-
(1987)
Reliability Engineering
, vol.17
, pp. 157-163
-
-
Rushdi, A.M.1
-
17
-
-
0022865215
-
Utilization of symmetric switching functions in the computation of k-out-of-n system reliability
-
A. M. Rushdi, "Utilization of symmetric switching functions in the computation of k-out-of-n system reliability," Microelectronics and Reliability, vol. 26, pp. 973-987, 1986.
-
(1986)
Microelectronics and Reliability
, vol.26
, pp. 973-987
-
-
Rushdi, A.M.1
-
18
-
-
0022769976
-
Graph based algorithms for Boolean function manipulation
-
Aug
-
R. Bryant, "Graph based algorithms for Boolean function manipulation," IEEE Trans. Computers, vol. 35, pp. 677-691, Aug. 1986.
-
(1986)
IEEE Trans. Computers
, vol.35
, pp. 677-691
-
-
Bryant, R.1
-
19
-
-
0025558645
-
Efficient implementation of a BDD package
-
IEEE 0738
-
K. Brace, R. Ruddel, and R. Bryant, "Efficient implementation of a BDD package," in Proc. 27th ACM/IEEE Design Automation Conference, 1990, pp. 40-45, IEEE 0738.
-
(1990)
Proc. 27th ACM/IEEE Design Automation Conference
, pp. 40-45
-
-
Brace, K.1
Ruddel, R.2
Bryant, R.3
-
20
-
-
0035369747
-
New insights in the assessment of k out-of-n and related system
-
Y. Dutuit and A. Rauzy, "New insights in the assessment of k out-of-n and related system," Reliability Enigineering and System Safety, vol. 72, no. 3 pp. 303-314, 2001.
-
(2001)
Reliability Enigineering and System Safety
, vol.72
, Issue.3
, pp. 303-314
-
-
Dutuit, Y.1
Rauzy, A.2
|