ISO/IEC 24029-2:2023 PDF

Name:
ISO/IEC 24029-2:2023 PDF

Published Date:
08/01/2023

Status:
Active

Description:

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

Publisher:
International Organization for Standardization/International Electrotechnical Commission

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.

File Size :	1 file , 1.5 MB
Note :	This product is unavailable in Russia, Ukraine, Belarus
Published :	08/01/2023

History

Related products

ISO/IEC 20005:2013

Published Date: 07/01/2013

Information technology - Sensor networks - Services and interfaces supporting collaborative information processing in intelligent sensor networks

$66.9

ISO/IEC TS 22237-7:2018

Published Date: 05/01/2018

Information technology - Data centre facilities and infrastructures - Part 7: Management and operational information

$66.9

Best-Selling Products

AI IS-180

Published Date:

Safe Storage & Handling of Hot Asphalt

AI MS-01

Published Date: 1999

Thickness Design--Asphalt (Ninth Edition, Reprinted 1999)

AI MS-10

Published Date: 1997

Soils Manual - Fifth Edition

AI MS-11

Published Date:

Thickness Design - Asphalt Pavements for Air Carrier Airports - Third Edition

AI MS-12

Published Date: 1979

Asphalt Hydraulics - Second Edition

AI MS-16

Published Date: 2009

Asphalt in Pavement Preservation and Maintenance