DANSK DSF/ISO/IEC DIS 24029-2 PDF

DANSK DSF/ISO/IEC DIS 24029-2 PDF

Name:
DANSK DSF/ISO/IEC DIS 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:

Choose Document Language:
$13.5
Need Help?
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 : 22#
File Size : 1 file , 1.1 MB
Number of Pages : 29
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 ISO 10058-2
Published Date: 01/09/2009
Chemical analysis of magnesite and dolomite refractory products (alternative to the X-ray fluorescence method) - Part 2: Wet chemical analysis
$19.2
DANSK DS/EN 2240-058
Published Date: 03/14/2011
Aerospace series - Lamps, incandescent - Part 058: Lamp, code 1524 - Product standard
$11.4
DANSK DS/EN ISO 12153
Published Date: 11/22/2022
Welding consumables – Tubular-cored electrodes for gas-shielded and non-gas-shielded metal arc welding of nickel and nickel alloys – Classification (ISO 12153:2022)
$15.3
DANSK DS/EN 61300-2-48
Published Date: 06/11/2009
Fibre optic interconnecting devices and passive components - Basic test and measurement procedures - Part 2-48: Tests - Temperature-humidity cycling
$15.3

Best-Selling Products

HIMA MD70.1
Published Date: 08/19/1983
MEDICAL MATERIEL - LUER TAPER FITTINGS - PERFORMANCE
$2.4