scientific article; zbMATH DE number 2032418

MaRDI QIDQ4446266zbMATH OpenFDO

Authors Francisco A. B. F. de Moura, Castro Ascensão de Azevedo

Publication date 2003

Mathematics Subject Classification ID

Other applications of logic (03B80) Reliability, testing and fault tolerance of networks and computer systems (68M15) Logic programming (68N17) Fault detection; testing in circuits and networks (94C12)

Recommendations

• scientific article; zbMATH DE number 1979414
• scientific article; zbMATH DE number 1696811
• scientific article; zbMATH DE number 5009350
• Diagnosing multiple faults
• Construction of tests for finding multiple faults in combinational devices in arbitrary bases

Cited in

(5)

• An improved model-based method to test circuit faults
• scientific article; zbMATH DE number 1696811 (Why is no real title available?)
• scientific article; zbMATH DE number 4174364 (Why is no real title available?)
• Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions
• scientific article; zbMATH DE number 1979414 (Why is no real title available?)

Describes a project that uses

Uses Software

• CLAIRE

This page was built for publication:

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