✦ LIBER ✦

Probabilistic Analysis of Wireless Systems Using Theorem Proving

✍ Scribed by Osman Hasan; Sofiène Tahar

Book ID: 108127110
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 503 KB
Volume: 242
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.06.022

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Reliability Analysis Using Theore

Formal Reliability Analysis Using Theorem Proving

✍ Hasan, O.; Tahar, S.; Abbasi, N. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 698 KB

Error analysis of digital filters using

Error analysis of digital filters using HOL theorem proving

✍ Behzad Akbarpour; Sofiène Tahar 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 240 KB

When a digital filter is realized with floating-point or fixed-point arithmetics, errors and constraints due to finite word length are unavoidable. In this paper, we show how these errors can be mechanically analysed using the HOL theorem prover. We first model the ideal real filter specification an

An approach for lifetime reliability ana

An approach for lifetime reliability analysis using theorem proving

✍ Abbasi, Naeem; Hasan, Osman; Tahar, Sofiène 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 381 KB

The role of theorem proving in systems b

The role of theorem proving in systems biology

✍ Olaf Wolkenhauer; Darryl Shibata; Mihajlo D. Mesarović 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Error Analysis and Verification of an IE

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

✍ Abu Nasser Mohammed Abdullah; Behzad Akbarpour; Sofiène Tahar 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 569 KB

Lifetime Estimation of Wireless Body Are

Lifetime Estimation of Wireless Body Area Sensor Networks Using Probabilistic Analysis

✍ Agyei-Ntim, Frank; Newman, Kimberly E. 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 651 KB