Airbus Fly-By-Wire: A Total Approach To Dependability

This publication has 6 references indexed in Scilit:

• An abstract interpretation-based timing validation of hard real-time avionics software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
  Published by Springer Nature ,2002
• Parameter-robust flight control system for a flexible aircraft
  Control Engineering Practice, 1995
• Fly-by-wire for commercial aircraft: the Airbus experience
  International Journal of Control, 1994
• Lateral electric flight control laws of a civil aircraft based upon eigenstructure assignment technique
  Published by American Institute of Aeronautics and Astronautics (AIAA) ,1989