Luis-Fernando Mejia

According to our database, Luis-Fernando Mejia authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Analytical and Rothe time-discretization method for a Boussinesq-type system over an uneven bottom.

Luis-Fernando Mejia, Juan Carlos Muñoz Grajales

Commun. Nonlinear Sci. Numer. Simul., 2021

2020

The First Twenty-Five Years of Industrial Use of the B-Method.

Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B.

Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019