INFORMÁTICA Y AUTOMÁTICA
Departamento
European Space Research and Technology Centre
Noordwijk-Binnen, HolandaPublicaciones en colaboración con investigadores/as de European Space Research and Technology Centre (1)
2003
-
Static and Dynamic Verification of Critical Software for Space Applications
European Space Agency, (Special Publication) ESA SP