How to Hand-Check a Symbolic Reliability Expression

DOI10.1109/TR.1983.5221710MaRDI QIDQ3339645zbMATH OpenOpenAlexFDO

Authors Ali Muhammad Ali Rushdi

Publication date 1983

Published in IEEE Transactions on Reliability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tr.1983.5221710

zbMATH Keywords

Bayes decompositiondebugging computer programsexhaustive testfailure statehand-checkprime implicantsuccess statesymbolic reliability expressions

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25)

Recommendations

• scientific article; zbMATH DE number 3894810
• scientific article; zbMATH DE number 4139472
• An Algorithm for Symbolic Reliability Computation with Path-sets or Cut-sets
• On Reliability Evaluation by Network Decomposition
• Symbolic reliability evaluation of a software with network structure

Cited in

(1)

• Fault-tree modelling of computer system security

This page was built for publication: How to Hand-Check a Symbolic Reliability Expression

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3339645)