Talks and Poster Presentations (with Proceedings-Entry):
J. Gustafsson, B. Lisper, M. Schordan, C. Ferdinand, P. Gliwa, M. Jersak, G. Bernat:
"ALL-TIMES - A European Project on Integrating Timing Technology";
Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation,
Porto Sani, Greece;
2008-10-13
- 2008-10-15; in: "ISoLA 2008: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008",
Springer,
(2008),
ISBN: 978-3-540-88478-1;
445
- 459.
Created from the Publication Database of the Vienna University of Technology.