Symbolic WCET Computation

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

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〉

Share

Metrics

Record views

140