A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems.

Pramod Gupta Johann Schumann

Published in: HASE (2004)

Keyphrases

high assurance
software systems
fault tolerant
distributed systems
neural network
adaptive systems
access control
case study
digital libraries
computer systems
intelligent agents
intelligent systems
building blocks
complex systems
formal methods