Rubén González-Martín

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Functional Verification

Concurrent Systems

Matrix Representation

Top Venues

Math. Comput. Sci.

Publications

Eugenio Roanes-Lozano, Rubén González-Martín, Javier Montero
An Algebraic Approach to DC Railway Electrification Verification. Math. Comput. Sci. 13 (3) (2019)
Eugenio Roanes-Lozano, Rubén González-Martín
Matrix Approach to DC Railway Electrification Verification. ICCS (2017)