Talks and Poster Presentations (with Proceedings-Entry):

R Lezuo, A. Krall:
"Using the CASM Language for Simulator Synthesis and Model Verification";
Talk: RAPIDO'13, Berlin; 2013-01-21; in: "Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools", (2013), 6:1 - 6:8.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Related Projects:
Project Head Andreas Krall:
Korrekte Übersetzer für korrekte anwendungsspezifische Prozessoren

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