Librería Samer Atenea
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Librería Kolima (Madrid)
Librería Proteo (Málaga)
Background of the Verification and Validation of Neural Networks.- Augmentation of Current Verification and Validation Practices.- Risk and Hazard Analysis for Neural Network Systems.- Validation of Neural Networks Via Taxonomic Evaluation.- Stability Properties of Neural Networks.- Neural Network Verification.- Neural Network Visualization Techniques.- Rule Extraction as a Formal Method.- Automated Test Generation for Testing Neural Network Systems.- Run-Time Assessment of Neural Network Control Systems.