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

ISSN: 1619-1374,  1619-1366

Argitalpen urtea: 2022

Alea: 21

Zenbakia: 6

Orrialdeak: 2367-2394

Mota: Artikulua

DOI: 10.1007/S10270-021-00940-8 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus