| Обозначение | IEC/TS 61508-3-2(2024) |
| Заглавие на русском языке | Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по использованию математических и логических методов для установления точных свойств программного обеспечения и его документации |
| Заглавие на английском языке | 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 |
| МКС | 25.040.40 |
| Вид стандарта | ST |
| Дата опубликования | 26.08.2024 |
| Язык оригинала | английский |
| Количество страниц оригинала | 27 |
| ТК – разработчик стандарта | TC 65/SC 65A |
| Номер издания | 1.0 |
| Статус | Действует |
| Код цены | G |
 |