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

ISSN: 0379-6566

ISBN: 9789292212964

Year of publication: 2015

Volume: SP-732

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus