How to Hand-Check a Symbolic Reliability Expression

DOI10.1109/TR.1983.5221710zbMATH Open0547.90037OpenAlexW2048357970MaRDI QIDQ3339645FDOQ3339645

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

Recommendations

• scientific article; zbMATH DE number 3894810
• scientific article
• 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

zbMATH Keywords

prime implicantfailure stateBayes decompositiondebugging computer programsexhaustive testhand-checksuccess statesymbolic reliability expressions

Mathematics Subject Classification ID

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

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)