Talks and Poster Presentations (with Proceedings-Entry):

B. Lisper, A. Ermedahl, D. Schreiner, J. Knoop, P. Gliwa:
"Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code";
Talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; 2010-10-18 - 2010-10-20; in: "Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods", T. Margaria, B. Steffen (ed.); Lecture Notes in Computer Science, 6416 (2010), 449 - 463.

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