Publication:4028319
From MaRDI portal
zbMath0762.94014MaRDI QIDQ4028319
Publication date: 28 March 1993
liveness; synchronization; dominance; closure; reset; circuit design; fault testing; continuous automata; input-output behavior of an arbiter
94C12: Fault detection; testing in circuits and networks