Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines

Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann. Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. In Gregor von Bochmann, Rachida Dssouli, Anindya Das, editors, Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992. Volume C-11 of IFIP Transactions, pages 105-116, North-Holland, 1992.

Abstract

Abstract is missing.