![](/img/cover-not-exists.png)
[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - From visual to logical formalisms for SoC validation
Fraer, Ranan, Keren, Doron, Khasidashvili, Zurab, Novakovsky, Alexander, Puder, Avi, Singerman, Eli, Talmor, Eran, Vardi, Moshe Y., Yang, JinYear:
2014
Language:
english
DOI:
10.1109/MEMCOD.2014.6961855
File:
PDF, 632 KB
english, 2014