Martin Rayrole

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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 development of avionics software must follow long and costly procedures. Most of these procedures have to be reexecuted each time the software is modified. In this paper, we propose a(More)
  • 1