Eduardo Rafael López Ruiz

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Eduardo Rafael López Ruiz, Michel Lemoine
Can Regulatory Bodies Expect Efficient Help from Formal Methods?. NASA Formal Methods (2010)
Eduardo Rafael López Ruiz
Methodology for Evaluating Aeronautical Regulations using Formal Specifications. HASE (2007)