Breadcrumb

 
 

Items where Author is "Akbarpour, Behzad"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Number of items: 4.

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

Akbarpour, Behzad and Tahar, Sofiène and Dekdouk, Abdelkader (2005) Formalization of Fixed-Point Arithmetic in HOL. Formal Methods in System Design, 27 (1-2). pp. 173-200. ISSN 0925-9856

Akbarpour, Behzad (2005) Modeling and verification of DSP designs in HOL. PhD thesis, Concordia University.

This list was generated on Fri Oct 31 12:26:55 2014 EDT.

Concordia University - Footer