IEC/TS 61508-3-2 Ed. 1.0 en:2024 - 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 - 2024 - PDF
Download StandardIEC/TS 61508-3-2 Ed. 1.0 en:2024 - 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 - 2024 - PDF