- Author(s):
- Metta, Ravindra; Becker, Martin; Bokil, Prasad; Chakraborty, Samarjit; Venkatesh, R
- Title:
- TIC: a scalable model checking based approach to WCET estimation
- Book / Congress title:
- Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems - LCTES 2016
- Publisher:
- ACM Press
- Date of publication:
- 01.01.2016
- Year:
- 2016
- Print-ISBN:
- 9781450343169
- Fulltext / DOI:
- doi:10.1145/2907950.2907961
- BibTeX
versions
Shown version:
Version 1 from
20.10.2017, 11:51:34
from
Martin Becker
Other versions of the object: