[Back]


Talks and Poster Presentations (without Proceedings-Entry):

J. Knoop:
"Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox";
Talk: 51st Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Cape May, NJ (invited); 2011-09-25 - 2011-09-30.


Created from the Publication Database of the Vienna University of Technology.