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 de conférence:
European Space Agency, (Special Publication) ESA SP

ISSN: 0379-6566

ISBN: 9789292212964

Année de publication: 2015

Volumen: SP-732

Type: Communication dans un congrès

GOOGLE SCHOLAR
La source de données: Scopus