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

Best-Selling Products

BS ISO/IEC ISP 10607-1:1995

Published Date: 03/15/1997

Information technology. International standardized profiles AFTnn. File transfer, access and management-Specification of ACSE, presentation and session protocols for the use by FTAM

$57.15

BS ISO/IEC ISP 10608-14:1995

Published Date: 12/15/1995

Information technology. International standardized profile TAnnnn. Connection-mode transport service over connectionless-mode network service-MAC, PHY and PMD sublayer dependent and Station Management requirements over an FDDI LAN subnetwork

$79.248

BS ISO/IEC ISP 10608-5:1992

Published Date: 03/15/1994

Information technology. International standardized profile TAnnnn. Connection-mode transport service over connectionless-mode network service-TA1111/TA1121 profiles including subnetwork-dependent requirements for X.25 packet-switched data networks using virtual calls

$48.006

BS ISO/IEC ISP 10609-1:1992

Published Date: 01/15/1993

Information technology. International standardized profiles TB, TC, TD and TE. Connection-mode transport service over connection-mode network service-Subnetwork-type independent requirements for Group TB

$57.15

BS ISO/IEC ISP 10609-5:1992

Published Date: 01/15/1993

Information technology. International standardized profiles TB, TC, TD and TE. Connection-mode transport service over connection-mode network service-Definition of profiles TB1111/TB1121

$28.194

BS ISO/IEC ISP 10614-1:1995

Published Date: 11/15/1995

Information technology. International standardized profile RC. X.25 protocol relaying-Subnetwork-independent requirements

$57.15