CRISTINA
RUIZ MARTIN
Investigadora en el periodo 2013-2018
Pau
Fonseca
Publicaciones en las que colabora con Pau Fonseca (1)
2024
-
Building Models in Pairs for Cross-Verification Using SDL and DEVS
Advanced Theory and Simulations, Vol. 7, Núm. 7