1-24 of 39 Books
KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow
KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow
By Frederick R. Best
Defining the IEEE-854 floating-point standard in PVS
Defining the IEEE-854 floating-point standard in PVS
By Paul S. Miner
ANSYS duplicate finite-element checker routine
ANSYS duplicate finite-element checker routine
By Rene Ortega
Nickel hydrogen batteries--an overview
Nickel hydrogen batteries--an overview
By John J. Smithrick
Rotor-fuselage interactions
Rotor-fuselage interactions
By Barry, John D.
V&V within reuse-based software engineering
V&V within reuse-based software engineering
By Edward A. Addy
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), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106
By D. Luu
Proof-term synthesis on dependent-type systems via explicit substitutions
Proof-term synthesis on dependent-type systems via explicit substitutions
By César Muñoz
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 with experimental data
By D. R. Reddy
Verifying stability of dynamic soft-computing systems
Verifying stability of dynamic soft-computing systems
By Wu Wen
Specifying real-time systems with interval logic
Specifying real-time systems with interval logic
By John Rushby
Simulated bladed MMC disk LCF validation
Simulated bladed MMC disk LCF validation
By H. F. Merrick
Test load verification through strain data analysis
Test load verification through strain data analysis
By V. Verderaime
UH-60 Black Hawk engineering simulation model validation and proposed modifications
UH-60 Black Hawk engineering simulation model validation and proposed modifications
By Thaddeus T. Kaplita
Analysis of flowfields over four-engine DC-X rockets
Analysis of flowfields over four-engine DC-X rockets
By Ten-See Wang
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 distributed memory and an integral approximation
By Louis A. Jaeckel
Verification and validation of KBS with neural network components
Verification and validation of KBS with neural network components
By Wu Wen
Development of a rational modeling approach for the design, and optimization of the multifiltration unit
Development of a rational modeling approach for the design, and optimization of the multifiltration unit
By David W. Hand
A case study of IV & V cost effectiveness
A case study of IV & V cost effectiveness
By Ralph D. Neal
Formal methods of V&V of partial specifications
Formal methods of V&V of partial specifications
By S. M. Easterbrook
Dynamics of superfluid helium in low-gravity
Dynamics of superfluid helium in low-gravity
By David J. Frank
Validation of viscous and inviscid computational methods for turbomachinery components
Validation of viscous and inviscid computational methods for turbomachinery components
By Louis A. Povinelli
V&V within reuse-based software engineering
V&V within reuse-based software engineering
By Edward A. Addy
Evidence flow graph methods for validation and verification of expert systems
Evidence flow graph methods for validation and verification of expert systems
By Lee A. Becker