Synthesis of auxiliary algorithms for preliminary assessment of stuck-at faults detection tests

DOI10.1134/S0005117914100142zbMath1323.68041MaRDI QIDQ2261816

S. A. Belozorov, S. V. Tyurin, Yury Ya. Agranovich

Publication date: 13 March 2015

Published in: Automation and Remote Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cites Work

• Unnamed Item
• Formal Methods for Hardware Verification

This page was built for publication: Synthesis of auxiliary algorithms for preliminary assessment of stuck-at faults detection tests