Finite-state machine synthesis for continuous, concurrent error detection using signature-invariant monitoring

• Authors:

• Scott H. Robinson

• Affiliations:

• Carnegie-Mellon Univ., Pittsburgh, PA

• Venue:
• Finite-state machine synthesis for continuous, concurrent error detection using signature-invariant monitoring
• Year:
• 1992