CRISTINA
RUIZ MARTIN
Investigadora en el període 2013-2018
Pau
Fonseca
Publicacions en què col·labora amb Pau Fonseca (1)
2024
-
Building Models in Pairs for Cross-Verification Using SDL and DEVS
Advanced Theory and Simulations, Vol. 7, Núm. 7