| Обозначение: |   ГОСТ Р ИСО/МЭК 24029-2-2024 |
| Статус: | действующий |
| Название рус.: | Искусственный интеллект. Оценка робастности нейронных сетей. Часть 2. Методология использования формальных методов |
| Название англ.: | Artificial intelligence. Assessment of the robustness of neural networks. Part 2. Methodology for the use of formal methods |
| Дата актуализации текста: | 01.12.2024 |
| Дата актуализации описания: | 01.01.2025 |
| Дата издания: | 19.11.2024 |
| Дата введения: | 01.01.2025 |
| Аутентичен стандартам: | ISO/IEC 24029-2:2023 |
| Нормативные ссылки: | ISO/IEC 22989:2022;ISO/IEC 23053:2022 |
| Область применения: | Настоящий стандарт определяет методологию применения формальных методов для оценки свойств робастности нейронных сетей. Основное внимание уделяется тому, как выбирать и использовать формальные методы, а также управлять ими для подтверждения свойств робастности |
|
| Расположен в: |
|
