Pages that link to "Item:Q1892217"
From MaRDI portal
The following pages link to Testing finite state machines: Fault detection (Q1892217):
Displaying 11 items.
- Periodic and non-concurrent error detection and identification in one-hot encoded FSMs (Q705464) (← links)
- Bounded sequence testing from deterministic finite state machines (Q964395) (← links)
- Canonical finite state machines for distributed systems (Q1044846) (← links)
- Efficient minimization of homogeneous FSMs for fault diagnosis (Q1129532) (← links)
- Fault-detection experiment with deterministic realizations and a nondeterministic model (Q1286277) (← links)
- FSM-based testing from user defined faults adapted to incremental and mutation testing (Q1758717) (← links)
- Simple-fault checking for automata generated by a fault function (Q1816011) (← links)
- Testing linear operators (Q1904274) (← links)
- Reduced checking sequences using unreliable reset (Q2339596) (← links)
- Checking of automata faults specified by an evaluating function (Q2740490) (← links)
- Conformance testing in the presence of multiple faults (Q2921787) (← links)