Static and Dynamic Verification of Critical Software for Space Applications
- Moreira, F.
- Maia, R.
- Costa, D.
- Duro, N.
- Rodríguez-Dapena, P.
- Hjortnaes, K.
Proceedings:
European Space Agency, (Special Publication) ESA SP
ISSN: 0379-6566
Year of publication: 2003
Pages: 599-607
Type: Conference paper