Explore Books on
proving

KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow

By Frederick R. Best

Nickel hydrogen batteries--an overview

By John J. Smithrick

ANSYS duplicate finite-element checker routine

By Rene Ortega

Defining the IEEE-854 floating-point standard in PVS

By Paul S. Miner

A case study of IV & V cost effectiveness

By Ralph D. Neal

Rotor-fuselage interactions

By Barry, John D.

V&V within reuse-based software engineering

By Edward A. Addy

Comparison of 3-D viscous flow computations of Mach 5 inlet with experimental data

By D. R. Reddy

Proof-term synthesis on dependent-type systems via explicit substitutions

By César Muñoz

Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106

By D. Luu

Analysis of flowfields over four-engine DC-X rockets

By Ten-See Wang

Specifying real-time systems with interval logic

By John Rushby

Test load verification through strain data analysis

By V. Verderaime

Simulated bladed MMC disk LCF validation

By H. F. Merrick

UH-60 Black Hawk engineering simulation model validation and proposed modifications

By Thaddeus T. Kaplita

Verifying stability of dynamic soft-computing systems

By Wu Wen

Development of a rational modeling approach for the design, and optimization of the multifiltration unit

By David W. Hand

The application of V&V within reuse-based software engineering

By Edward Addy

A framework for performing verification and validation in reuse based software engineering

By Edward A. Addy

Formal methods of V&V of partial specifications

By S. M. Easterbrook

V&V within reuse-based software engineering

By Edward A. Addy

Theory interpretations in PVS

By Sam Owre

Evidence flow graph methods for validation and verification of expert systems

By Lee A. Becker

Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation

By Louis A. Jaeckel