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.