Benutzer: Gast  Login
Titel:

TIC: a scalable model checking based approach to WCET estimation

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Metta, Ravindra; Becker, Martin; Bokil, Prasad; Chakraborty, Samarjit; Venkatesh, R.
Kongress- / Buchtitel:
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems (LCTES)
Verlag / Institution:
ACM Press
Publikationsdatum:
01.01.2016
Jahr:
2016
Print-ISBN:
9781450343169
Volltext / DOI:
doi:10.1145/2907950.2907961
 BibTeX
Versionen