Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent

DOI10.7561/SACS.2021.1.1MaRDI QIDQ5089619

J. A. Bergstra

Publication date: 19 July 2022

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

software defectchange justificationfault modalityLaski faultMFJ faultSRT fault

Mathematics Subject Classification ID

Could not fetch data.

Recommendations

• Instruction Sequence Faults with Formal Change Justification 👍 👎
• Instruction-Level Impact Analysis of Low-Level Faults in a Modern Microprocessor Controller 👍 👎
• Sequential fault occurrence and reconfiguration in system level diagnosis 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent

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