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

Autor: Yu. Ya. Agranovich, S. V. Tyurin, S. A. Belozorov
Rok vydání: 2014
Předmět:
Zdroj: Automation and Remote Control. 75:1875-1879
ISSN: 1608-3032
0005-1179
DOI: 10.1134/s0005117914100142
Popis: This paper presents a formal Boolean-algebra-based synthesis of three auxiliary algorithms implementing preliminary assessment methods for stuck-at faults detection tests.
Databáze: OpenAIRE