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.
Revue:
Software and Systems Modeling

ISSN: 1619-1374,  1619-1366

Année de publication: 2022

Volumen: 21

Número: 6

Pages: 2367-2394

Type: Article

DOI: 10.1007/S10270-021-00940-8 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus