Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
R Lezuo, A. Krall:
"A Unified Processor Model for Compiler Verification and Simulation Using ASM";
Vortrag: ABZ'12,
Pisa;
19.06.2012
- 21.06.2012; in: "Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z",
(2012),
S. 327
- 330.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-30885-7_24
Zugeordnete Projekte:
Projektleitung Andreas Krall:
Korrekte Übersetzer für korrekte anwendungsspezifische Prozessoren
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.