Executable assertions and flight software

• 17 August 1984
• conference paper
• Published by American Institute of Aeronautics and Astronautics (AIAA)
• https://doi.org/10.2514/6.1984-2726

Abstract