All Stories

  1. Validating CRRM for Aeronautical Communications Using a Formal Description Technique

    Article • October 2017, American Institute of Aeronautics and Astronautics (AIAA)

    Yim-Fun Hu, Babatope A.