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

ISSN: 1619-1374,  1619-1366

Datum der Publikation: 2022

Ausgabe: 21

Nummer: 6

Seiten: 2367-2394

Art: Artikel

DOI: 10.1007/S10270-021-00940-8 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus