Abstraction of assembler programs for symbolic worst case execution time analysis
Schuele, Tobias ; Schneider, Klaus
Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004, 2004, p.107-112New York, NY, USA: ACM
Texto completo disponível