Search

English
- Persian
- English
Login

Ferdowsi University of Mashhad
|
Information Center and Central Library

- Persian
- English

Home
Source Types
- Journal Paper
- Ebook
- Conference Paper
- Standard
- Protocol
- Thesis
Use Help

FUM Digital Library
Search

FUM Digital Library
Search

All Fields
Title
Author
Year
Publisher
Subject
Publication Title
ISSN
DOI
ISBN

Advanced Search

JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced Filters Hide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

Relevance
Title Asc
Title Desc
Year Asc
Year Desc

5
10
20
40
60
80
100

CSV
RIS

Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100

Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN

Type: Conference Paper

Author : Zaman, Anam; Hasan, Osman

Publisher: IEEE

Year: 2014

Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM

Type: Conference Paper

Author : Pervez, Usman; Hasan, Osman; Latif, Khalid; Tahar, Sofiene; Gawanmeh, Amjad; Hamdi, Mohamed Salah

Publisher: IEEE

Year: 2014

Timing variation aware dynamic digital phase detector for low-latency clock domain crossing

Type: Journal Paper

Author : Lodhi, Faiq Khalid; Hasan, Syed Rafay; Sharif, Naila; Ramzan, Naeem; Hasan, Osman

Publisher: IET

Year: 2014

Augmenting RRT∗-planner with local trees for motion planning in complex dynamic environments

Type: Conference Paper

Author : Qureshi, Ahmed Hussain; Mumtaz, Saba; Khan, Wajeeha; Sheikh, Abdul Ahad Ashfaq; Iqbal, Khawaja Fahad; Ayaz, Yasar; Hasan, Osman

Publisher: IEEE

Year: 2014

Author

Hasan, Osman (4)

Ayaz, Yasar (1)

Gawanmeh, Amjad (1)

Hamdi, Mohamed Salah (1)

Hasan, Syed Rafay (1)

Iqbal, Khawaja Fahad (1)

Khan, Wajeeha (1)

Latif, Khalid (1)

Lodhi, Faiq Khalid (1)

Mumtaz, Saba (1)

Publisher

IEEE (3)

IET (1)

Year

2014 (4)

Keywords

alternators (1)

asynchronous signal (1)

Boltzmann machines (1)

circuit stability (1)

energy-delay product (1)

failure finite probability (1)

IHP technology (1)

Internet (1)

low-latency clock domain crossing (1)

metastability avoidance algorithm (1)

Type

Conference Paper (3)

Journal Paper (1)

Language (ISO)

English (4)

Content Type

Metadata Only (4)

Publication Title

-Health Networking, Applications and Services (Healthcom), 2014 IEEE 16th International Conference o (1)

Circuits, Devices &amp; Systems, IET (1)

ethods and Models in Automation and Robotics (MMAR), 2014 19th International Conference On (1)

ystem-on-Chip (SoC), 2014 International Symposium on (1)

About Us

نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش

DSpace software copyright © 2019-2022 DuraSpace