| emsoft | participants

Ryan W. Gardner

EMSOFT 2015: 15th International Conference on Embedded Software

Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System

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