DANSK DSF/ISO/IEC FDIS 24029-2 PDF

Name:
DANSK DSF/ISO/IEC FDIS 24029-2 PDF

Published Date:

Status:
[ Draft-Obsolete ]

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:

DRAFT * W/D S/S BY DS/ISO/IEC 24029-2

This document provides methodology for the use of formal methods to assess robustness 159 properties of neural networks. The document focuses on how to select, apply and manage formal 160 methods to prove robustness properties.

Edition :	23#
File Size :	1 file , 1.8 MB
Number of Pages :	31
Product Code(s) :	DSF-021, DSF-021

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 215

Published Date: 09/23/2019

Thermostatic radiator valves – Requirements and test methods

$27

DANSK DS/EN 45510-4-3

Published Date: 06/30/1999

Guide for procurement of power station equipment - Part 4: Boiler auxiliaries - Section 3: Draught plant

$19.2

DANSK DS/EN ISO 8167

Published Date: 07/12/2021

Resistance welding – Embossed projection welding – Projections for resistance welding (ISO 8167:2021)

$18

DANSK DS/EN 6032

Published Date: 11/30/2015

Aerospace series - Fibre reinforced plastics - Test method - Determination of the glass transition temperatures

$13.2

DANSK DSF/ISO/IEC FDIS 24029-2 PDF

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

History

Related products

Best-Selling Products