![](/img/cover-not-exists.png)
[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Formal modelling and transformations of processor instruction sets
Mokhov, Andrey, Sokolov, Danil, Rykunov, Maxim, Yakovlev, AlexYear:
2011
Language:
english
DOI:
10.1109/MEMCOD.2011.5970510
File:
PDF, 494 KB
english, 2011