Fault-detection experiment with deterministic realizations and a nondeterministic model

DOI10.1007/BF02911261MaRDI QIDQ1286277zbMATH OpenFDO

Authors N. Evtushenko, A. V. Lebedev

Publication date 3 May 1999

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

nondeterministic automatonnd-automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Distinguishing and control experiments with nondeterministic automata
• A fault-detection approach to the conformance testing of nondeterministic systems
• Testing finite state machines: Fault detection
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine

Cited in

(4)

• On testing output faults in the McCluskey fault model
• Distinguishing and control experiments with nondeterministic automata
• A fault-detection approach to the conformance testing of nondeterministic systems
• Checking of automata faults specified by an evaluating function

This page was built for publication: Fault-detection experiment with deterministic realizations and a nondeterministic model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1286277)