Static and Dynamic Verification of Critical Software for Space Applications
- Moreira, F.
- Maia, R.
- Costa, D.
- Duro, N.
- Rodríguez-Dapena, P.
- Hjortnaes, K.
Actes:
European Space Agency, (Special Publication) ESA SP
ISSN: 0379-6566
Any de publicació: 2003
Pàgines: 599-607
Tipus: Aportació congrés