Eduardo Rafael López Ruiz

Learn More
Prosthetic valves may make ventricular access difficult in radiofrequency catheter ablation. This case report describes an optimized atrial transseptal approach to access the ventricle in a patient with left ventricular tachycardia and a mechanical prosthetic aortic valve.
The number of pediatric patients with end stage renal disease (ESRD) has been steadily growing during the last 10 years all over the world, because of the improvement of medical and surgical treatment of severe urologic malformations and congenital and acquired nephrological disorders. Kidney transplantation (Tx) with a live related donor continues to be(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