Items where Author is "Akbarpour, Behzad"
|Up a level|
Abdullah, Abu Nasser Mohammed and 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
Akbarpour, Behzad and Tahar, Sofiène (2007) Error analysis of digital filters using HOL theorem proving. Journal of Applied Logic, 5 (4). pp. 651-666. ISSN 15708683