Static and Dynamic Verification of Critical Software for Space Applications
- Moreira, F.
- Maia, R.
- Costa, D.
- Duro, N.
- Rodríguez-Dapena, P.
- 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