Qualitative circuit models in failure analysis reasoning

DOI10.1016/S0004-3702(99)00032-6zbMATH Open1048.94520OpenAlexW2151233556MaRDI QIDQ1606342FDOQ1606342

Authors: R. Smith 

Publication date: 30 July 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00032-6

Recommendations

• A case study in the qualitative verification and debugging of numerical uncertainty
• Diagnosing multiple faults
• scientific article; zbMATH DE number 4185063
• Model-based reasoning: a principled approach for software engineering
• scientific article; zbMATH DE number 4104411

zbMATH Keywords

simulation algorithms

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Fault detection; testing in circuits and networks (94C12)

Cited In (1)

• Functional fault models for analog circuit elements

This page was built for publication: Qualitative circuit models in failure analysis reasoning

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