1 paper
Martin Rayrole, David Faura, Marc Gatti
A strong certification process is required to insure the safety of airplanes, and more specifically the robustness of avionics applications. To implement this process, the developm…