Beatriz Sierra

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Simulation Environment

Spatial Data Infrastructures

Distributed Computing Environment

Top Venues

Publications

Cosimo Stallo, Alessandro Neri, Pietro Salvatori, Francesco Rispoli, Olivier Desenfans, Juliette Marais, Antonio Aguila, Beatriz Sierra, Ricardo Campo, Daniel Molina, Susana Herranz, Xavier Leblan, Giuseppe Rotondo
Geo-Distributed Simulation and Verification Infrastructure for safe train Galileo-based positioning. ENC (2020)