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),
- 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,
Created from the Publication Database of the Vienna University of Technology.