لطفا کمی صبر نمایید ...
ورود
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
فیلتر نتایج
Shoaleh Bigdeli
Journal Paper
طراحی ابزار پایا و روا برای تعیین عوامل انگیزشی موثر بر یادگیری دانشجویان پزشکی؛ براساس مدل انگیزشی کلر
Authors:
سیدکامران سلطانی عربشاهی
،
شعله بیگدلی
،
جلیل کوهپایه زاده
،
اکرم جعفرپور
Year 1392
Publish place:
Education strategies in medical sciences Issue 4، Vol 6
Pages:
6
| Language: Persian
View And Download
Journal Paper
تحلیل و ارزیابی صوری پروتکل های امنیتی شبکه تترا با استفاده از ابزارهای تحلیل خودکار
Authors:
مهدی ملازاده گل محله
،
محمد سبزی نژاد فراش
،
روح اله رستاقی
Year 1396
Publish place:
Electronic and cyber defense Issue 4، Vol 5
Pages:
21
| Language: Persian
View And Download
Conference Paper
ارایه یک روش صوری برای مدلسازی راستی آزمایی سیستم های گردش کار زمانی
Authors:
افسون سلطانی
Year 1393
Publish place:
Ninth International Symposium on Science and Technology Advances
Pages:
12
| Language: Persian
View And Download
Conference Paper
بررسی کاربردهای شبکه های پتری در مهندسی نرم افزار
Authors:
نونا قاسمی
،
معصومه شهرامی راد
Year 1392
Publish place:
1st National Innovation Conference on Computer Engineering and Information Technology
Pages:
7
| Language: Persian
View And Download
Conference Paper
استفاده از روش صوری برای بهینه سازی سیستم شبکه خانگی
Authors:
سیدمجتبی سالاری
،
محمدجواد فتاحی
Year 1390
Publish place:
The first conference on new approaches in computer engineering and information technology
Pages:
5
| Language: Persian
View And Download
Conference Paper
مدلسازی و تحلیل کمی پروتکلهای امنیتی مبتنی بر بررسی مدل احتمالی و ابزار PRISM
Authors:
مجتبی اکبرزاده
،
محمد عبداللهی ازگمی
Year 1388
Publish place:
6th Iranian Security Community Conference
Pages:
7
| Language: Persian
View And Download
Conference Paper
مدل سازی صوری و درستی یابی احتمالی یک سیستم هشدار نفوذ در شبکه های حسگر بی سیم
Authors:
علی خلیلی
،
محمد عبداللهی ازگمی
Year 1386
Publish place:
03rd International Conference on Information and Knowledge Technology
Pages:
6
| Language: Persian
View And Download
Conference Paper
مدل سازی صوری و ارزیابی کارایی یک پروتکل کنترل دسترسی به رسانه در شبکه های حسگر بی سیم
Authors:
علی خلیلی
،
محمد عبداللهی ازگمی
Year 1387
Publish place:
16th Iranian Conference on Electric Engineering
Pages:
6
| Language: Persian
View And Download
Conference Paper
توصیف صوری بازسازی مدلهای UML با اثبات حفظ رفتار
Authors:
سوده حسینی
،
محمد عبداللهی ازگمی
Year 1387
Publish place:
16th Iranian Conference on Electric Engineering
Pages:
6
| Language: Persian
View And Download