User: Guest  Login

There is a newer version of the object available.

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:
versions