Eduardo Rafael López Ruiz

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
In the context of EDEMOI-a French national project that proposed the use of semiformal and formal methods to infer the consistency and robustness of aeronautical regulations through the analysis of faithfully representative models-a methodology had been suggested (and applied) to different (safety and security-related) aeronautical regulations. This paper(More)
This thesis project seeks to extend the EDEMOI methodology so that it may be able to evaluate (and facilitate) the consistency and robustness of constantly evolving aeronautical regulations. For this purpose, the coupled " semiformal + formal model " approach first proposed by EDEMOI is broadened through the development of new specification methods.(More)
  • 1