Static and Dynamic Verification of Critical Software for Space Applications
- Moreira, F.
- Maia, R.
- Costa, D.
- Duro, N.
- Rodríguez-Dapena, P.
- Hjortnaes, K.
Konferenzberichte:
European Space Agency, (Special Publication) ESA SP
ISSN: 0379-6566
Datum der Publikation: 2003
Seiten: 599-607
Art: Konferenz-Beitrag