The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1975 vol.24)
pp: 1141-1142
Y. Wakimura , Department of Electronlics, Hiroshima University
ABSTRACT
This correspondence comments on the statement, described in the above-mentioned paper,1 which follows after a few definitions characterizing input-output sequences for the design of checking experiments. Namely, a counterexample will be shown for one of the two statements. Furthermore, three generalized properties useful to demonstrate the above counterexample are presented.
INDEX TERMS
Checking experiment, distinguishing sequence, fault checling, resolving sequence, sequential machine.
CITATION
Y. Wakimura, N. Yoshida, "Comments on "Checking Experiments for Sequential Machines"", IEEE Transactions on Computers, vol.24, no. 11, pp. 1141-1142, November 1975, doi:10.1109/T-C.1975.224150
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool