Functional Safety and IEC 61508); IEC 60748-2-12:2001 EN-FR 009018ba Semiconductor devices - Integrated circuits - part2-12: Digital integrated circuits - Blank detail specification for programmable logic devices (PLDs); IEC 60748-2-9:1994 EN-FR 075f0b05 Semiconductor devices - Integrated circuits - Part 2: Digital integrated circuits - Section 9: Blank detail specification for MOS ultraviolet light erasable electrically programmable read-only memories; IEC 60748-2-7:1992 EN-FR 13dd5021 Semiconductor devices. Integrated circuits - Part 2: Digital integrated circuits - Section seven: Blank detail specification for integrated circuit fusible-link programmable bipolar read-only memories; IEC 61508-1:2010 EN-FR 91a7b7d4 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 1: General requirements (see Functional Safety and IEC 61508); IEC 61508-3:2010 EN-FR c3b8b254 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3: Software requirements (see Functional Safety and IEC 61508); IEC 61508:2010 CMV EN e723d4ff Functional safety of electrical/electronic/programmable electronic safety-related systems – ALL PARTS together with a Commented version (see Functional Safety and IEC 61508); IEC TS 61508-3-2:2024 EN 09e4d301 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3-2: Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation; IEC 61508-4:2010 EN-FR 68f50d24 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 4: Definitions and abbreviations (see Functional Safety and IEC 61508); IEC 61508-7:2010 EN-FR c671e749 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 7: Overview of techniques and measures (see Functional Safety and IEC 61508);">