Title: Checking experiments in sequential machines
Subjects: Electronic digital computers, Fault tolerant computing, Sequential machine theory, Testing, Electronic digital computers, testing, Fault-tolerant computing