Search BSI Knowledge
Cookie Settings
22/30444391 DC | 21 Jul 2022 | BSI Knowledge
Standard
22/30444391 DC
Draft BS ENISO/IEC 24029-2 Artificial intelligence (AI) — Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods
Current
•
Published:
21 Jul 2022
Overview
Preview
References
History
Visit the preview section for more information
Product Details
Descriptors
Artificial intelligence
Risk assessment
Information networks
Networks (computer)
Methodology
ICS Codes
35.020 Information technology (IT) in general
Committee
ART/1
International relationships
—
ISBN
—
Publisher
BSI