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

ISSN: 0379-6566

ISBN: 9789292212964

Año de publicación: 2015

Volumen: SP-732

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus