Showing 1 - 4 results of 4 for search 'International Federation of Automatic Control', query time: 0.07s Refine Results
  1. 1
  2. 2

    Towards Sophisticated Air Traffic Control System Using Formal Methods by Abdessamad Jarrar, Youssef Balouki

    Published 2018-01-01
    “…We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organization (ICAO), Federal Aviation Administration (FAA), and National Aeronautics and Space Administration (NASA) standards and recommendations. …”
    Get full text
    Article
  3. 3
  4. 4