| Обозначение | 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 |
| Аннотация (область применения) | Настоящий стандарт определяет методологию применения формальных методов для оценки свойств робастности нейронных сетей. Основное внимание уделяется тому, как выбирать и использовать формальные методы, а также управлять ими для подтверждения свойств робастности. |
| Количество страниц перевода | 31 |
| Код цены | D |
| Примечание | |
 |