National Aeronautics and Space Adm Nasa

Hardware Proofs Using Ehdm and the Rsre Verification Methodology

Nasa's Education Program Inventory Fy 91

Observation Model and Parameter Partials for the Jpl Vlbi Parameter Estimation Software Modest/1991

Astrometric Telescope Facility Isolation and Pointing Study

A Formal Language for the Specification and Verification of Synchronous and Asynchronous Circuits

A Review of an Updated Synthesis of Noise/Annoyance Relationships

Computation of Steady and Unsteady Quasi-One-Dimensional Viscous/Inviscid Interacting Internal Flows at Subsonic, Transonic, and Supersonic Mach Numbers

Application of Hybrid Laminar Flow Control to Global Range Military Transport Aircraft

Engineering, Technical, and Management Support Services

Stability Codes for a Liquid Rocket Implemented for Use on a PC

Wind-Tunnel Free-Flight Investigation of a Supersonic Persistence Fighter

Assurance Specification Documentation Standard and Data Item Descriptions (Did). Volume of the Information System Life-Cycle and Documentation Standards, Volume 4

Update of Grasp/ADA Reverse Engineering Tools for ADA

Nasa/Dod Aerospace Knowledge Diffusion Research Project. Report 27

Fusion Powered Human Transport to Mars (Uwfr94)

Globec

BSM Delta Qualification 2, Volume 1

Synthetic Vision Display Evaluation Studies

Payload Vibration Isolation in a Microgravity Environment

Flow Induced Vibrations in the Ssme Injector Heads

Annular Solar Eclipse of 10 May 1994

Tps Design for Aerobraking at Earth and Mars

Cold-SAT Dynamic Model

Conceptual Design of an Orbital Debris Collector