لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Hassan Haghighi
Journal Paper
درستی سنجی صوری معماری مدیریت توان در سطح سیستم برای پردازنده های مدرن
Authors:
سید رضا شرفی نژاد
،
بیژن علیزاده
Year 1400
Publish place:
Journal of Iranian Association of Electrical and Electronics Engineers Issue 4، Vol 18
Pages:
12
| Language: Persian
View And Download
Journal Paper
An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols
Authors:
Hamid Reza Mahrooghi
،
Rasool Jalili
Year 1398
Publish place:
Journal of Computing and Security Issue 1، Vol 6
Pages:
18
| Language: English
View And Download
Journal Paper
a bio-inspired self -configuring observer/controller for organic computing systems
Authors:
ali Tarihi
،
Hassan Haghighi
،
Fereidoon Shams Aliee
Year 1395
Publish place:
The Journal of Information Systems and Telecommunication (JIST) Issue 3، Vol 4
Pages:
11
| Language: English
View And Download
Journal Paper
Web Service Choreography Verification Using Z Formal Specification
Authors:
y Rastegari
،
z Sajadi
،
f shams
Year 1395
Publish place:
International Journal of Engineering (IJE) Issue 11، Vol 29
Pages:
9
| Language: English
View And Download
Conference Paper
Accelerating of Modified Policy Iteration in Probabilistic Model Checking
Authors:
Mohammadsadegh Mohagheghi
Year 1394
Publish place:
International Conference on New Research Findings in Science, Engineering and Technology with a Focus on Need-Based Research
Pages:
6
| Language: English
View And Download
Conference Paper
Reliability in modeled systems using formal methods
Authors:
Somayeh Azizi
،
Naser Nematbakhsh
Year 1394
Publish place:
3rd International Conference on Applied Research in Computer Engineering and Information Technology
Pages:
8
| Language: English
View And Download
Conference Paper
Verification of a Smart Card-Based Remote User Authentication Protocol Using Strand Space Model
Authors:
Rahim Samei
،
Javad Mohajeri
Year 1389
Publish place:
07th Iranian Security Community Conference
Pages:
8
| Language: English
View And Download
Conference Paper
Improving Logic-Level Representation of BMD/TED Diagrams
Authors:
Pejman Lotfi-Kamran
،
Hamid Shojaei
،
Hadi Parandeh-Afshar
،
Mostafa Naderi
Year 1384
Publish place:
13th Iranian Conference on Electric Engineering
Pages:
60
| Language: English
View And Download
Conference Paper
روش جدید محاسبه میزان پوشش در ارزیابی رسمی سیستم های سخت افزاری
Authors:
مجید نبی
،
حمید شجاعی
،
زین العابدین نوابی
Year 1386
Publish place:
15th Iranian Conference on Electric Engineering
Pages:
6
| Language: Persian
View And Download