Luis-Fernando Mejia

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Industrial Applications

Events Occurring

Continuous Attributes

Discretization Methods

Top Venues

Commun. Nonlinear Sci. Numer. Simul.

Publications

Luis-Fernando Mejia, Juan Carlos Muñoz Grajales
Analytical and Rothe time-discretization method for a Boussinesq-type system over an uneven bottom. Commun. Nonlinear Sci. Numer. Simul. 102 (2021)
Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
The First Twenty-Five Years of Industrial Use of the B-Method. FMICS (2020)
Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. RSSRail (2019)