Fault Detection of Binary Sequential Machines Using R-Valued Test Machines

Donald A. Sheppard, Zvonko G. Vranesic. Fault Detection of Binary Sequential Machines Using R-Valued Test Machines. IEEE Transactions on Computers, 23(4):352-358, 1974. [doi]

Abstract

Abstract is missing.