A. M. Abdullah

Wireless lan medium access control (mac) and physical layer (phy) specifications

A. M. Abdullah, A. Abdullah, 1997 .

Error Analysis and Verification of an IEEE 802 . 11 OFDM Modem using Theorem Proving 1

A. M. Abdullah, S. Tahar, Behzad Akbarpour, 2008 .

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving

Sofiène Tahar, Behzad Akbarpour, Abu Nasser Mohammed Abdullah, 2009, FMWS@CONCUR.

Formal Analysis and Verification of an OFDM Modem Design using HOL

Sofiène Tahar, Behzad Akbarpour, Abu Nasser Mohammed Abdullah, 2006, 2006 Formal Methods in Computer Aided Design.