2 works on record
Guidance for the verification and validation of neural networks
Software Fault Tolerance Techniques and Implementation (Artech House Computer Security Series)