Static and Dynamic Verification of Critical Software for Space Applications
- Moreira, F.
- Maia, R.
- Costa, D.
- Duro, N.
- Rodríguez-Dapena, P.
- Hjortnaes, K.
Aktak:
European Space Agency, (Special Publication) ESA SP
ISSN: 0379-6566
Argitalpen urtea: 2003
Orrialdeak: 599-607
Mota: Biltzar ekarpena