- 您的位置:
- 中国标准在线服务网 >>
- 全部标准分类 >>
- 国际标准 >>
- 25.040.40 >>
- 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
【国际标准】 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
本网站 发布时间:
2026-01-05
开通会员免费在线看70000余条国内标准,赠送文本下载次数,单本最低仅合13.3元!还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权!  
查看详情>>
适用范围:
暂无
标准号:
IEC TS 61508-3-2:2024 EN
标准名称:
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
英文名称:
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-08-26 -
实施日期:
出版语种:
EN
- 其它标准
- 上一篇: ISO/IEC TS 19568:2024 EN 1fd6233b Programming Languages - C++ Extensions for Library Fundamentals
- 下一篇: IEC TR 63519:2024 EN ad45c855 Aspects and understanding of measurement uncertainty - Background information on measurement uncertainty based on the example of IEC TC 85 (Measuring equipment for electrical and electromagnetic quantities)
- 推荐标准
- ISO 17506:2022/Amd 1:2025 EN 5e9a6be5 Industrial automation systems and integration — COLLADATM digital asset schema specification for 3D visualization of industrial data — Amendment 1: Elements name and explanations
- ISO 18136-1:2025 EN 9163550a Automation systems and integration — Nuclear digital ecosystem — Part 1: Overview and framework
- ISO 18435-2:2012 EN 758c2303 Industrial automation systems and integration — Diagnostics, capability assessment and maintenance applications integration — Part 2: Descriptions and definitions of application domain matrix elements
- ISO 18435-3:2015 EN c6183e69 Industrial automation systems and integration — Diagnostics, capability assessment and maintenance applications integration — Part 3: Applications integration description method
- ISO 18629-42:2006 EN e6411abf Industrial automation systems and integration — Process specification language — Part 42: Definitional extension: Temporal and state extensions
- ISO 18629-43:2006 EN 87551ffb Industrial automation systems and integration — Process specification language — Part 43: Definitional extension: Activity ordering and duration extensions
- ISO 18828-3:2017 EN cdd20c6d Industrial automation systems and integration — Standardized procedures for production systems engineering — Part 3: Information flows in production planning processes
- ISO 18828-5:2019 EN 4cb1c7b4 Industrial automation systems and integration — Standardized procedures for production systems engineering — Part 5: Manufacturing change management
- ISO 19439:2006 EN eaafd138 Enterprise integration — Framework for enterprise modelling
- ISO 19450:2024 EN 10ef2608 Automation systems and integration — Object-Process Methodology
- ISO 20242-1:2005 EN e80a37f7 Industrial automation systems and integration — Service interface for testing applications — Part 1: Overview
- ISO 22093:2011 EN 33fc8158 Industrial automation systems and integration — Physical device control — Dimensional Measuring Interface Standard (DMIS)
- IEC 61987-31:2022 EN-FR bcb1ba2a Industrial-process measurement and control - Data structures and elements in process equipment catalogues - Part 31: List of Properties (LOPs) of infrastructure devices for electronic data exchange – Generic structures
- IEC 61987-32:2024 EN-FR 5ab871ef Industrial-process measurement and control - Data structures and elements in process equipment catalogues - Part 32: Lists of properties (LOP) for I/O modules for electronic data exchange
- IEC 62264-3:2016 EN/FR e67c7b9b Enterprise-control system integration — Part 3: Activity models of manufacturing operations management
我的标准
购物车
400-168-0010










