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.
Aktak:
European Space Agency, (Special Publication) ESA SP

ISSN: 0379-6566

ISBN: 9789292212964

Argitalpen urtea: 2015

Alea: SP-732

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus