Filter

Proving

40 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.
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.
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.
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.
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.
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.
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.
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.
Specifying real-time systems with interval logic
Specifying real-time systems with interval logic

by John Rushby

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

by V. Verderaime

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

by H. F. Merrick

1998 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.
Verifying stability of dynamic soft-computing systems
Verifying stability of dynamic soft-computing systems

by Wu Wen

1997 2 ed.
The application of V&V within reuse-based software engineering
The application of V&V within reuse-based software engineeri...

by Edward Addy

1996 1 ed.
A framework for performing verification and validation in reuse based software engineering
A framework for performing verification and validation in re...

by Edward A. Addy

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.
V&V within reuse-based software engineering
V&V within reuse-based software engineering

by Edward A. Addy

1996 1 ed.
Theory interpretations in PVS
Theory interpretations in PVS

by Sam Owre

2001 1 ed.