How to Hand-Check a Symbolic Reliability Expression (Q3339645)

From MaRDI portal





scientific article; zbMATH DE number 3873047
Language Label Description Also known as
default for all languages
No label defined
    English
    How to Hand-Check a Symbolic Reliability Expression
    scientific article; zbMATH DE number 3873047

      Statements

      How to Hand-Check a Symbolic Reliability Expression (English)
      0 references
      1983
      0 references
      hand-check
      0 references
      exhaustive test
      0 references
      success state
      0 references
      failure state
      0 references
      prime implicant
      0 references
      Bayes decomposition
      0 references
      symbolic reliability expressions
      0 references
      debugging computer programs
      0 references

      Identifiers