Model checking flight control systems: The Airbus experience.

Thomas Bochot, Pierre Virelizier, Hlne Waeselynck, Virginie Wiels

Browse the full ICSE paper archive.