Static and Dynamic Verification of Critical Software for Space Applications

  1. Moreira, F.
  2. Maia, R.
  3. Costa, D.
  4. Duro, N.
  5. Rodríguez-Dapena, P.
  6. Hjortnaes, K.
Actas:
European Space Agency, (Special Publication) ESA SP

ISSN: 0379-6566

Año de publicación: 2003

Páginas: 599-607

Tipo: Aportación congreso