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
