|
|
|
|
|
Welcome to the home page for the Validation and Verification of Neural Network Systems project.
The links below provide both an introduction and background knowledge about the project together with information about the work undertaken and reports published.
Introduction
|
Project Overview |
|
Work Plan
|
Publications |
|
 |
| Francesco Vivarelli | Dr. W. Andrew Wright |
| Dr. Christopher K. I. Williams | |
| Neural Computing Research Group | Sowerby Research Centre |
| Department of Computer Science | British Aerospace |
| and Applied Mathematics | FPC 267 |
| Aston University | PO Box 5 |
| Birmingham B4 7ET | Filton, Bristol BS12 7QW |
| United Kingdom | United Kingdom |
| Phone: +44 (0)121 359 3611 x. 4243 / 4266 | Phone: +44 (0)117 9366098 |
| Fax: +44 (0)121 333 6215 | Fax: +44 (0)117 9363733 |