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

Ano de publicación: 2022

Volume: 21

Número: 6

Páxinas: 2367-2394

Tipo: Artigo

DOI: 10.1007/S10270-021-00940-8 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus