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
Document type :
Journal articles
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01665076
Contributor : Clément Ballabriga <>
Submitted on : Friday, December 15, 2017 - 2:56:32 PM
Last modification on : Saturday, March 23, 2019 - 1:24:33 AM

Identifiers

Collections

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〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

140

Contact

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