Symbolic WCET Computation

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

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〉

Partager

Métriques

Consultations de la notice

136