This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
دانشگاه آزاد اسلامی اصفهان(خوراسگان)
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Formal Analysis and Verification of an OFDM Modem Design.POMPES PAR TRANSITIONS MULTIPLES
"
Document Type
:
Latin Dissertation
Language of Document
:
English
Record Number
:
154473
Doc. No
:
ET26265
Main Entry
:
Abu Nasser Mohammed Abdullah
Title Proper
:
Formal Analysis and Verification of an OFDM Modem Design.POMPES PAR TRANSITIONS MULTIPLES
Note
:
This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract
:
In this thesis we formally specify and verify an implementation of the OrthogonalFrequency Division Multiplexing (OFDM) Physical Layer using theorem provingtechniques based on the HOL (Higher Order Logic) system. The thesis is meantto follow a framework, developed at Concordia University, incorporating.
Subject
:
Electericl tess
:
برق
electronic file name
:
TL50538.pdf
Title and statement of responsibility and
:
Formal Analysis and Verification of an OFDM Modem Design.POMPES PAR TRANSITIONS MULTIPLES [Thesis]
http://localhost/site/catalogue/154473
آدرس ثابت
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
TL50538.pdf
TL50538.pdf
پایان نامه لاتین
متن
application/octet-stream
6.33 MB
85
85
نمایش
نظرسنجی