Automatic verification of timing constraints for safety critical space systems

  1. Fernandez, J.
  2. Parra, P.
  3. Prieto, S.S.
  4. Polo, O.
  5. Bernat, G.
Actes:
European Space Agency, (Special Publication) ESA SP

ISSN: 0379-6566

ISBN: 9789292212964

Any de publicació: 2015

Volum: SP-732

Tipus: Aportació congrés

GOOGLE SCHOLAR
Font de les dades: Scopus