Error Analysis of Digital Filters Using Theorem Proving - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Behzad Akbarpour, Sofiène Tahar. Error Analysis of Digital Filters Using Theorem Proving. In Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan, editors, Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Volume 3223 of Lecture Notes in Computer Science, pages 1-17, Springer, 2004. [doi]

The following publications are possibly variants of this publication:

Error analysis of digital filters using HOL theorem provingBehzad Akbarpour, Sofiène Tahar. japll, 5(4):651-666, 2007. [doi]

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem ProvingAbu Nasser Mohammed Abdullah, Behzad Akbarpour, SofiÃ¨ne Tahar. ENTCS, 242(2):3-30, 2009. [doi]

Probabilistic Analysis of Wireless Systems Using Theorem ProvingOsman Hasan, SofiÃ¨ne Tahar. ENTCS, 242(2):43-58, 2009. [doi]

runs on WebDSL