Monitoring machine based synthesis technique for concurrent error detection in finite state machines

Rubin A. Parekhji, G. Venkatesh, Sunil D. Sherlekar. Monitoring machine based synthesis technique for concurrent error detection in finite state machines. J. Electronic Testing, 8(2):179-201, 1996. [doi]

Abstract

Abstract is missing.