Alaa Ghanayim

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko
Ontology-Based Tools in the Service of Hardware Verification. SEKE (2010)