IEC TS 61508-3-2: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
出版：International Electrotechnical Committee
专家解读视频
