Publications in collaboration with researchers from European Space Research and Technology Centre (1)

2003

  1. Static and Dynamic Verification of Critical Software for Space Applications

    European Space Agency, (Special Publication) ESA SP