1–20 von 34 Ergebnissen
|

    Towards a Formal Semantics of Flight Plans and Trajectories

    E. G. Hagen / W. R. Butler | NTIS | 2014

    Criteria Approach to Separation Assurance

    J. Maddalon / R. Butler / G. Hagen et al. | NTIS | 2015

    Characteristics of Vertical Probe Rocket Vehicles

    C. B. Butler / R. J. Hostetler | NTIS | 1964

    Eliminating Preventable Death on the Battlefield

    R. S. Kotwal / H. R. Montgomery / B. M. Kotwal et al. | NTIS | 2011

    Formal Verification of a Conflict Resolution and Recovery Algorithm

    J. Maddalon / R. Butler / A. Geser et al. | NTIS | 2004

    Heavy Lift Vehicle (HLV) Avionics Flight Computing Architecture Study

    R. F. Hodson / Y. Chen / D. R. Morgan et al. | NTIS | 2011

    Overview of Suomi NPP VIIRS Calibration Maneuvers

    J. J. Butler / X. Xiong / R. A. Barnes et al. | NTIS | 2012

    Evaluation of a Modified Steel Post W-Beam Guardrail System

    R. P. Bligh / W. L. Menges / B. G. Butler | NTIS | 1997