CRISTINA
RUIZ MARTIN
Researcher in the period 2013-2018
Pau
Fonseca
Publications by the researcher in collaboration with Pau Fonseca (1)
2024
-
Building Models in Pairs for Cross-Verification Using SDL and DEVS
Advanced Theory and Simulations, Vol. 7, Núm. 7