Pages that link to "Item:Q1286277"
From MaRDI portal
The following pages link to Fault-detection experiment with deterministic realizations and a nondeterministic model (Q1286277):
Displaying 4 items.
- Simple-fault checking for automata generated by a fault function (Q1816011) (← links)
- A fault-detection approach to the conformance testing of nondeterministic systems (Q1898202) (← links)
- Distinguishing and control experiments with nondeterministic automata (Q1922343) (← links)
- Checking of automata faults specified by an evaluating function (Q2740490) (← links)