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

ISSN: 1619-1374,  1619-1366

Year of publication: 2022

Volume: 21

Issue: 6

Pages: 2367-2394

Type: Article

DOI: 10.1007/S10270-021-00940-8 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus