Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
In brief
Robert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS.