Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Metta, Ravindra; Becker, Martin; Bokil, Prasad; Chakraborty, Samarjit; Venkatesh, R. 
Titel:
TIC: a scalable model checking based approach to WCET estimation 
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 
Versionen