A Method for the Design of Fault Detection Experiments
From MaRDI portal
Publication:5591525
DOI10.1109/T-C.1970.222975zbMath0195.30902OpenAlexW2140047593MaRDI QIDQ5591525
Publication date: 1970
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/t-c.1970.222975
Related Items (13)
Exact solutions for the construction of optimal length test sequences ⋮ Checking sequences for distributed test architectures ⋮ Lower bounds on lengths of checking sequences ⋮ Hardness of Deriving Invertible Sequences from Finite State Machines ⋮ A study on the extended unique input/output sequence ⋮ Testing restorable systems: formal definition and heuristic solution based on river formation dynamics ⋮ Hardness and inapproximability of minimizing adaptive distinguishing sequences ⋮ Timed implementation relations for the distributed test architecture ⋮ Checking experiments for stream X-machines ⋮ The relation between preset distinguishing sequences and synchronizing sequences ⋮ Introducing complexity to formal testing ⋮ Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata ⋮ Towards Deriving Test Sequences by Model Checking
This page was built for publication: A Method for the Design of Fault Detection Experiments
