Abstractions of Finite-State Machines and Immediately-Detectable Output Faults

Kostas N. Oikonomou. Abstractions of Finite-State Machines and Immediately-Detectable Output Faults. IEEE Transactions on Computers, 41(3):325-338, 1992.

Abstract

Abstract is missing.