Filter

Proving

38 books found

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

by Frederick R. Best

1996 4 ed.
Defining the IEEE-854 floating-point standard in PVS
Defining the IEEE-854 floating-point standard in PVS

by Paul S. Miner

1995 4 ed.
Nickel hydrogen batteries--an overview
Nickel hydrogen batteries--an overview

by John J. Smithrick

1994 4 ed.
ANSYS duplicate finite-element checker routine
ANSYS duplicate finite-element checker routine

by Rene Ortega

1995 4 ed.
Rotor-fuselage interactions
Rotor-fuselage interactions

by Barry, John D.

1997 3 ed.
V&V within reuse-based software engineering
V&V within reuse-based software engineering

by Edward A. Addy

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

by D. Luu

1998 3 ed.
Proof-term synthesis on dependent-type systems via explicit substitutions
Proof-term synthesis on dependent-type systems via explicit ...

by César Muñoz

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

by D. R. Reddy

1990 3 ed.
Verifying stability of dynamic soft-computing systems
Verifying stability of dynamic soft-computing systems

by Wu Wen

1997 2 ed.
Specifying real-time systems with interval logic
Specifying real-time systems with interval logic

by John Rushby

1988 2 ed.
Simulated bladed MMC disk LCF validation
Simulated bladed MMC disk LCF validation

by H. F. Merrick

1998 2 ed.
Test load verification through strain data analysis
Test load verification through strain data analysis

by V. Verderaime

1995 2 ed.
UH-60 Black Hawk engineering simulation model validation and proposed modifications
UH-60 Black Hawk engineering simulation model validation and...

by Thaddeus T. Kaplita

1985 2 ed.
Analysis of flowfields over four-engine DC-X rockets
Analysis of flowfields over four-engine DC-X rockets

by Ten-See Wang

1996 2 ed.
Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation
Two alternate proofs of Wang's lune formula for sparse distr...

by Louis A. Jaeckel

1988 1 ed.
Verification and validation of KBS with neural network components
Verification and validation of KBS with neural network compo...

by Wu Wen

1996 1 ed.
Development of a rational modeling approach for the design, and optimization of the multifiltration unit
Development of a rational modeling approach for the design, ...

by David W. Hand

1996 1 ed.
A case study of IV & V cost effectiveness
A case study of IV & V cost effectiveness

by Ralph D. Neal

1997 1 ed.
Formal methods of V&V of partial specifications
Formal methods of V&V of partial specifications

by S. M. Easterbrook

1997 1 ed.