Home » Authors » Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer

Public reference bibliography and cataloged PDF materials authored or published by Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer.

Found 1 document(s) Page 1 of 1

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System

Year: 2015 • Source: hal.science • Listed PDF

The Next-Generation Airborne Collision Avoidance System (ACASX) is intended to be installed on all large aircraft to give advice to pilots and prevent mid-air collisions with other aircraft. It is currently being develop...