Publicacions en què col·labora amb Aarón Montalvo Taravillo (3)

2022

  1. Model-driven system-level validation and verification on the space software domain

    Software and Systems Modeling, Vol. 21, Núm. 6, pp. 2367-2394