A Modular Approach to the Specification and Validation of an Electrical Flight Control System.

Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon

Browse the full FM paper archive.