Login / Signup

Independent verification and validation, Robert O. Lewis. John Wiley & Sons, Chichester, 1992, ISBN 0-971-57011-7. Price: £47.50.

Darrel C. Ince
Published in: J. Softw. Maintenance Res. Pract. (1994)
Keyphrases
  • model checking
  • asynchronous circuits
  • neural network
  • objective function
  • multiscale
  • search algorithm
  • expert systems
  • face verification
  • formal analysis
  • verification method