Тезис
PreviewThis document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses on how to select, apply and manage formal methods to prove robustness properties.
-
Текущий статус: ОпубликованоДата публикации: 2023-08
-
Версия: 1
-
- ICS :
- 35.020 Information technology (IT) in general
Приобрести данный стандарт
ru
Формат | Язык | |
---|---|---|
std 1 124 | PDF + ePub | |
std 2 124 | Бумажный |
- CHF124
Жизненный цикл
-
Сейчас
-
00
Предварительная стадия
-
10
Стадия, связанная с внесением предложения
-
20
Подготовительная стадия
-
30
Стадия, связанная с подготовкой проекта комитета
-
40
Стадия, связанная с рассмотрением проекта международного стандарта
-
50
Стадия, на которой осуществляется принятие стандарта
-
60
Стадия, на которой осуществляется публикация
-
90
Стадия пересмотра
-
95
Стадия, на которой осуществляется отмена стандарта
-
00
Появились вопросы?
Ознакомьтесь с FAQ
Работа с клиентами
+41 22 749 08 88
Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)