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

Jean-Baptiste Jeannin et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics