Artificial intelligence (AI) \x96 Assessment of the robustness of neural networks \x96 Part 2: Methodology for the use of formal methods
| Accuris | |
|---|---|
| Product Category | Standards and Technical Documents |
| Product Number | DS/ISO/IEC 24029-2 |
| Product Name | Artificial intelligence (AI) \x96 Assessment of the robustness of neural networks \x96 Part 2: Methodology for the use of formal methods |