| Обозначение | ISO/IEC 24029-2:2023 |
| Статус | Действует |
| Вид стандарта | ST |
| Заглавие на русском языке | Искусственный интеллект (ИИ). Оценка робастности нейронных сетей. Часть 2. Методология использования формальных методов |
| Заглавие на английском языке | Artificial intelligence (AI) Assessment of the robustness of neural networks Part 2: Methodology for the use of formal methods |
| Код КС (ОКС, МКС) | 35.020 |
| ТК – разработчик стандарта | JTC 1/SC 42 |
| Язык оригинала | английский |
| Номер издания | 1 |
| Дата опубликования | 01.08.2023 |
| Количество страниц оригинала | 30 |
| Код цены | D |
| Примечание | |
 |