Eduardo Rafael López Ruiz

According to our database, Eduardo Rafael López Ruiz authored at least 2 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Can Regulatory Bodies Expect Efficient Help from Formal Methods?.

Eduardo Rafael López Ruiz, Michel Lemoine

Proceedings of the Second NASA Formal Methods Symposium, 2010

2007

Methodology for Evaluating Aeronautical Regulations using Formal Specifications.

Eduardo Rafael López Ruiz

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007