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

  1. Montalvo, A.
  2. Parra, P.
  3. Rodríguez Polo, Ó.
  4. Carrasco, A.
  5. Da Silva, A.
  6. Martínez, A.
  7. Sánchez, S.
Revista:
Software and Systems Modeling

ISSN: 1619-1374,  1619-1366

Año de publicación: 2022

Volumen: 21

Número: 6

Páginas: 2367-2394

Tipo: Artículo

DOI: 10.1007/S10270-021-00940-8 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus