Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
Computation of Sub-Satellite Points from Orbital Elements
Functional Interior Point Programming Applied to the Aircraft Path Planning Problem
Pathways to Sustainability in Lunar Exploration Architectures
Focal Point Computation in a Three-Layered Atmosphere
Lunar Surface Transmission Loss for the APOLLO Astronaut
Telemetry Processing for NASA Scientific Satellites
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Automatic Range Image Registration Using Mixed Integer Linear Programming
Total Quality Management, Naval Aviation Depot, Cherry Point, North Carolina
Spacecraft Technology. Vol. Ii - Control and Stabilisation
Ecology of Automotive Manufacturing
Ups and downs of space tourism development in 60 years from moon register to spaceshiptwo CRASH
Artemis Accords: Are Safety Zones Practical for Long Term Commercial Lunar Resource Utilisation?