The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (1971 vol.20)
pp: 1152-1166
E.P. Hsieh , IEEE
ABSTRACT
Some new procedures for designing efficient checking experiments for sequential machines are described. These procedures are based on the use of four types of sequences introduced, namely, the compound DS, the resolving sequence (RS), the compound. RS, and the simple I/O sequence. Significant reduction in the bound on the length of checking experiments is achieved. Along a parallel line of develop
INDEX TERMS
Bounds, checking experiments, fault detection, sequential machines, state-increasing faults, synchronous machines.
CITATION
E.P. Hsieh, "Checking Experiments ror Sequential Machines", IEEE Transactions on Computers, vol.20, no. 10, pp. 1152-1166, October 1971, doi:10.1109/T-C.1971.223100
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool