Self-Checking FSM Design with Observing only FSM Outputs.

Anzhela Yu. Matrosova, Sergey Ostanin

Browse the full IOLTS paper archive.