Symbolic WCET Computation

Clément Ballabriga 1 Julien Forget 1 Giuseppe Lipari 1
1 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Type de document :
Article dans une revue
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 17 (2), pp.1 - 26. 〈10.1145/3147413〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01665076
Contributeur : Clément Ballabriga <>
Soumis le : vendredi 15 décembre 2017 - 14:56:32
Dernière modification le : mardi 18 décembre 2018 - 16:49:59

Identifiants

Collections

INSTITUT-TELECOM | INRIA | INRIA2017 | CRISTAL-EMERAUDE | CRISTAL | UNIV-LILLE

Citation

Clément Ballabriga, Julien Forget, Giuseppe Lipari. Symbolic WCET Computation. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 17 (2), pp.1 - 26. 〈10.1145/3147413〉. 〈hal-01665076〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

136

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD