Standard Swedish standard · SS-ISO/IEC 24029-2:2024

Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods (ISO/IEC 24029-2:2023, IDT)

Status: Valid

Buy this standard

Standard Swedish standard · SS-ISO/IEC 24029-2:2024

Subscribe on standards with our subscription service. When you use our service you can be assured the latest editions and easy access. Read more about SIS Subscriptions

Subscribe on standards - Read more Dölj

Price: 1 013 SEK

PDF

Price: 1 013 SEK

Paper

Price: 1 620,80 SEK

PDF + paper

Show more Show less

Preview this standard

Scope

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.

Subjects

General (35.020)

Discount	- EUR	- SEK
Sum	EUR	SEK
Shipping	EUR	SEK
Vat	EUR	SEK
Total	EUR	SEK

Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods (ISO/IEC 24029-2:2023, IDT)

Subjects

Product information

Within the same area