Abu Nasser Mohammed Abdullah

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. Electron. Notes Theor. Comput. Sci. 242 (2) (2009)
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar
Formal Analysis and Verification of an OFDM Modem Design using HOL. FMCAD (2006)