Pages that link to "Item:Q5591525"
From MaRDI portal
The following pages link to A Method for the Design of Fault Detection Experiments (Q5591525):
Displayed 13 items.
- A study on the extended unique input/output sequence (Q456677) (← links)
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035) (← links)
- Hardness and inapproximability of minimizing adaptive distinguishing sequences (Q479811) (← links)
- Lower bounds on lengths of checking sequences (Q613138) (← links)
- The relation between preset distinguishing sequences and synchronizing sequences (Q736851) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Exact solutions for the construction of optimal length test sequences (Q1334626) (← links)
- Timed implementation relations for the distributed test architecture (Q2251156) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- Checking sequences for distributed test architectures (Q2377256) (← links)
- Towards Deriving Test Sequences by Model Checking (Q2873605) (← links)
- Hardness of Deriving Invertible Sequences from Finite State Machines (Q2971131) (← links)
- Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata (Q5250279) (← links)