 |
 |
|
|
|
|
|
|
|
расширенный поиск | карта сайта |
|
|
|
ISO/IEC 24029-2:2023 |  на печать | | Искусственный интеллект (ИИ). Оценка робастности нейронных сетей. Часть 2. Методология использования формальных методов |
|
| | Библиография | Обозначение | 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 | | Примечание | | |
| | Стандарт ISO/IEC 24029-2:2023 входит в рубрики классификатора:
| | |
| |
|
|
|
| Цены |
| На языке оригинала |
20909,00
|
| Перевод на русский язык |
41818,00
|
|
|
|