""""Applications of Neural Networks in High Assurance Systems"""" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications.