Montalvo Taravillo, A., Parra Espada, P., Rodríguez Polo, Ó., Carrasco Gallardo, A., Da Silva Fariña, A., Martínez Hellín, A., & Sánchez Prieto, S. (2021). Model-driven system-level validation and verification on the space software domain.

Montalvo Taravillo, Aarón|||0000-0002-6896-5226, Pablo|||0000-0002-4242-8297 Parra Espada, Óscar|||0000-0002-7893-4247 Rodríguez Polo, Alberto Carrasco Gallardo, Antonio|||0000-0002-3737-743X Da Silva Fariña, Agustín|||0000-0002-5600-9253 Martínez Hellín, y Sebastián|||0000-0002-6729-7932 Sánchez Prieto. Model-driven System-level Validation and Verification On the Space Software Domain. 2021.

Montalvo Taravillo, Aarón|||0000-0002-6896-5226, et al. Model-driven System-level Validation and Verification On the Space Software Domain. 2021.