DANSK DS/ISO/IEC 24029-2 PDF

Name:
DANSK DS/ISO/IEC 24029-2 PDF

Published Date:
08/08/2023

Status:
[ Active ]

Description:

Artificial intelligence (AI) – Assessment of the robustness of neural networks – Part 2: Methodology for the use of formal methods

Publisher:
Dansk Standard

Document status:

Active

Format:

Electronic (PDF)

Delivery time:

10 minutes

Delivery time (for Russian version):

200 business days

SKU:

This 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.

Edition :	23#
File Size :	1 file , 1.5 MB
Number of Pages :	32
Product Code(s) :	DS-031, DS-031
Published :	08/08/2023

History

DANSK DSF/ISO/IEC DIS 24029-2

Published Date:

Artificial intelligence (AI) – Assessment of the robustness of neural networks – Part 2: Methodology for the use of formal methods

$13.5

DANSK DSF/ISO/IEC FDIS 24029-2

Published Date:

Artificial intelligence (AI) – Assessment of the robustness of neural networks – Part 2: Methodology for the use of formal methods

$13.5

DANSK DS/ISO/IEC 24029-2

Published Date: 08/08/2023

Artificial intelligence (AI) – Assessment of the robustness of neural networks – Part 2: Methodology for the use of formal methods

$24.9

Related products

DANSK DS/EN ISO 11137-2

Published Date: 07/06/2015

Sterilization of health care products – Radiation – Part 2: Establishing the sterilization dose

$50.7

DANSK DSF/ISO/FDIS 24803

Published Date:

Recreational diving services – Requirements for recreational diving providers

$8.7

DANSK DSF/FPREN ISO 3146

Published Date:

Plastics – Determination of melting behaviour (melting temperature or melting range) of semi-crystalline polymers by capillary tube and polarizing-microscope methods (ISO/FDIS 3146:2021)

$8.7