Items where Author is "Abdullah, Abu Nasser Mohammed"
Group by: Item Type | No Grouping
Number of items: 2.
Article
Abdullah, Abu Nasser Mohammed, Akbarpour, Behzad and Tahar, Sofiène (2009) Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. Electronic Notes in Theoretical Computer Science, 242 (2). pp. 3-30. ISSN 15710661
Thesis
Abdullah, Abu Nasser Mohammed (2006) Formal analysis and verification of an OFDM modem design. Masters thesis, Concordia University.