لطفا کمی صبر نمایید ...
ورود
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
فیلتر نتایج
Mohammad Izadi
Ali Movaghar
Ayaz Isazadeh
نتایج 11 تا 20 از مجموع 19
1
2
Conference Paper
Modeling and Verification of Complex Network Attacks Using an Actor-Based Language
Authors:
Hamid Reza Shahriari
،
Mohammad Sadegh Makarem
،
Marjan Sirjani
،
Rasool Jalili
Year 1384
Publish place:
11th Annual Conference of Computer Society of Iran
Pages:
7
| Language: English
View And Download
Conference Paper
Modeling Basic Two Phase Locking Distributed Database Concurrency Control Algorithm Using Rebeca
Authors:
Reza Basseda
،
Maseud Rahgozar
Year 1385
Publish place:
14th Iranian Conference on Electric Engineering
Pages:
6
| Language: English
View And Download
Conference Paper
رویکردی تازه بهدرستی یابی ویژگیهای توصیف شده در حساب : Mu استفاده از نظریه خودکار ها
Authors:
محمد ایزدی
،
علی موقر
Year 1381
Publish place:
8th Annual Conference of Computer Society of Iran
Pages:
7
| Language: Persian
View And Download
Conference Paper
الگوریتمی جدید برای وارسی الگو در حساب Mu
Authors:
محمد ایزدی
،
علی موقررحیم آبادی
Year 1382
Publish place:
9th Annual Conference of Computer Society of Iran
Pages:
8
| Language: Persian
View And Download
Conference Paper
Logical Languages for Specification and Verification of Reactive System's Behavior
Authors:
Jaber Karimpour
،
Ayaz Isazadeh
Year 1382
Publish place:
9th Annual Conference of Computer Society of Iran
Pages:
10
| Language: English
View And Download
Conference Paper
VHDL Based Symbolic Model Checker with Improved CTL Property Language
Authors:
Hamid Shojai
،
Hadi Parandeh Afshar
،
Zainalabedin Navabi
Year 1382
Publish place:
9th Annual Conference of Computer Society of Iran
Pages:
8
| Language: English
View And Download
Conference Paper
Property Based Design Testing
Authors:
Zainalabedin Navabi
،
Mostafa Naderi
Year 1384
Publish place:
13th Iranian Conference on Electric Engineering
Pages:
5
| 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
Conference Paper
روشی جدید برای وارسی رسمی پردازنده های ابرعددی
Authors:
علیرضا عبداله پوری
Year 1386
Publish place:
15th Iranian Conference on Electric Engineering
Pages:
6
| Language: Persian
View And Download
نتایج 11 تا 20 از مجموع 19
1
2