An upper bound of unreliability of non-branching programs in an arbitrary complete finite basis for one-type constant faults at the outputs of computational operators
From MaRDI portal
Publication:669532
DOI10.1134/S199508021809024XzbMath1430.94120OpenAlexW2908970140MaRDI QIDQ669532
M. A. Alekhina, S. M. Grabovskaya
Publication date: 15 March 2019
Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s199508021809024x
circuitBoolean functionnon-branching program with conditional stop operatorsoutput one-type constant faultsunreliability
Fault detection; testing in circuits and networks (94C12) Analytic circuit theory (94C05) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Cites Work