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

Any de publicació: 2022

Volum: 21

Número: 6

Pàgines: 2367-2394

Tipus: Article

DOI: 10.1007/S10270-021-00940-8 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus