Montalvo, A., Parra, P., Rodríguez Polo, Ó., Carrasco, A., Da Silva, A., Martínez, A., & Sánchez, S. (2022). Model-driven system-level validation and verification on the space software domain. Software and systems modeling, 21(6), 2367-2394. https://doi.org/10.1007/s10270-021-00940-8
Citace podle Chicago (17th ed.)Montalvo, Aarón, Pablo Parra, Óscar Rodríguez Polo, Alberto Carrasco, Antonio Da Silva, Agustín Martínez, a Sebastián Sánchez. "Model-driven System-level Validation and Verification on the Space Software Domain." Software and Systems Modeling 21, no. 6 (2022): 2367-2394. https://doi.org/10.1007/s10270-021-00940-8.
Citace podle MLA (9th ed.)Montalvo, Aarón, et al. "Model-driven System-level Validation and Verification on the Space Software Domain." Software and Systems Modeling, vol. 21, no. 6, 2022, pp. 2367-2394, https://doi.org/10.1007/s10270-021-00940-8.