1-24 of 109 Books

Modeling human behavior with integrated cognitive architectures
By Kevin A. Gluck,Richard W. Pew
Validation, verification, and testing of computer software
Validation, verification, and testing of computer software
By W. Richards Adrion
A framework for the development and assurance of high integrity software
A framework for the development and assurance of high integrity software
By Dolores R. Wallace

Software engineering reviews and audits
By Boyd L. Summers

Proceedings
By Comp Euro (5th 1991 Bologna, Italy)

Verification and validation of complex systems
By John A. Wise,V. David Hopkin,Paul Stager

Global specification and validation of embedded systems
By G. Nicolescu,Ahmed A. Jerraya
Reference information for the software verification and validation process
Reference information for the software verification and validation process
By Dolores R. Wallace
Software reliability through fault-avoidance and fault-tolerance
Software reliability through fault-avoidance and fault-tolerance
By Mladen A. Vouk
Expert system verification and validation study
Expert system verification and validation study
By Scott W. French

Verification and validation in systems engineering
By Mourad Debbabi

Building and testing with Gradle
By Tim Berglund
EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP
EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP
By Orlando Lopez

Foundations of Software and System Performance Engineering
By André Bondi
Software verification and validation
Software verification and validation
By Dolores R. Wallace

Guidance for the verification and validation of neural networks
By Laura L. Pullum,Brian J. Taylor,Marjorie A. Darrah
Formal methods and their role in digital systems validation for airborne systems
Formal methods and their role in digital systems validation for airborne systems
By John Rushby
Man-machine interface issues in nuclear power plants
Man-machine interface issues in nuclear power plants
By J. DeBor

Trustworthy global computing
By Rocco De Nicola,Davide Sangiorgi