لطفا کمی صبر نمایید ...
ورود
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
Seyed Hassan Mirian Hosseinabadi
MohammadReza Masnavi
Hassan Haghighi
نتایج 181 تا 190 از مجموع 213
First
...
16
17
18
19
20
21
22
Conference Paper
تولید صوری برنامه های همروند ایمن
Authors:
شهرزاد ریاحی چالشتری
،
حسن حقیقی
Year 1391
Publish place:
6th Conference of Irans Scientific Society of Command, Control, Communications, Computers and Intelligences
Pages:
6
| Language: Persian
View And Download
Conference Paper
راهبردهای بهبودی برای توصیف صوری جهت جلوگیری ازخطاهای سیستم های C4I با دیدگاه تحلیل SWOT
Authors:
میلاد محمدی
،
سیدمحمد قرشی
،
حسن حقیقی
Year 1391
Publish place:
6th Conference of Irans Scientific Society of Command, Control, Communications, Computers and Intelligences
Pages:
10
| Language: Persian
View And Download
Conference Paper
کاربرد خودکار تعامل مولفه ها درتوصیف ووارسی سیستم ها با استفاده از ابزار CoIn وDiVinE: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
Authors:
جابر کریم پور
،
ساناز خبرت
Year 1391
Publish place:
2nd Lahijan National Conference on Software Engeering
Pages:
7
| Language: Persian
View And Download
Conference Paper
ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند
Authors:
سیده سارا شریفی راد
،
سیده مریم شریفی راد
Year 1391
Publish place:
2nd Lahijan National Conference on Software Engeering
Pages:
8
| Language: Persian
View And Download
Conference Paper
کاربرد خودکارهای تعامل مولفه ها درتوصیف و وارسی سیستم ها: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
Authors:
جابر کریم پور
،
ساناز خبرت
Year 1391
Publish place:
15th Iranian Student Conference on Electrical Engineering
Pages:
6
| Language: Persian
View And Download
Conference Paper
ارزیابی کیفیت بصری منظر فضاهای سبز شهری با تاکید بر رویکرد زیبایی شناسی صوری: نمونه موردی بوستان کوهستانی فردوسی تهران
Authors:
پیمان گلچین
،
محمدرضا مثنوی
Year 1391
Publish place:
2nd Conference on Environmental Planning and Management
Pages:
13
| Language: Persian
View And Download
Conference Paper
ارائه یک مدل محاسباتی مبتنی بر معنا شناخت صوری با استفاده از منطق فازی برای تعیین اعتماد در شبکه های بزرگ
Authors:
نرگس عبدی
،
غزال مارین
،
رضا عزمی
Year 1389
Publish place:
16th annual CSI Computer Conference
Pages:
6
| Language: Persian
View And Download
Conference Paper
مدلسازی و درستیابی سیستم اینتر لاکینگ راه اهن به روش صوری و با استفاده از متد B
Authors:
احمد میر آبادی
،
محسن پیکرستان
Year 1389
Publish place:
12th Railway Transportation Conference
Pages:
14
| Language: Persian
View And Download
Conference Paper
ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی
Authors:
علیرضا روحی
،
سیدحسن میریان حسین آبادی
Year 1383
Publish place:
10th Annual Conference of Computer Society of Iran
Pages:
8
| Language: Persian
View And Download
Conference Paper
مجتمع سازی روشهای صوری: رویکردی یکپارچه در به کارگیری روشهای صوری برای سیستمهای شی گرا و مبتنی بر اجزا
Authors:
محمد ایزدی
،
علی موقررحیم آبادی
Year 1383
Publish place:
10th Annual Conference of Computer Society of Iran
Pages:
8
| Language: Persian
View And Download
نتایج 181 تا 190 از مجموع 213
First
...
16
17
18
19
20
21
22