×

zbMATH — the first resource for mathematics

On models for diagnosable systems and probabilistic fault diagnosis. (English) Zbl 0339.68047

MSC:
68Q45 Formal languages and automata
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
94B99 Theory of error-correcting codes and error-detecting codes
90B25 Reliability, availability, maintenance, inspection in operations research
PDF BibTeX XML Cite
Full Text: DOI