DMCA

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

by Jean-baptiste Jeannin , Khalil Ghorbal , Yanni Kouskoulas , Ryan Gardner , Aurora Schmidt , Erik Zawadzki , Andre Platzer