Login / Signup

Formal verification of ACAS X, an industrial airborne collision avoidance system.

Jean-Baptiste JeanninKhalil GhorbalYanni KouskoulasRyan W. GardnerAurora C. SchmidtErik ZawadzkiAndré Platzer
Published in: EMSOFT (2015)
Keyphrases