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]

Authors

Rubin A. Parekhji

This author has not been identified. Look up 'Rubin A. Parekhji' in Google

G. Venkatesh

This author has not been identified. Look up 'G. Venkatesh' in Google

Sunil D. Sherlekar

This author has not been identified. Look up 'Sunil D. Sherlekar' in Google