لطفا کمی صبر نمایید ...
ورود
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
فیلتر نتایج
محمدرضا سلطان آقایی کوپایی
Conference Paper
ارائه و بررسی یک روش برای تولید و استخراج منطق اینترلاکینگ و جدول کنترل به صورت خودکاردر سیستم های سیگنالینگ خطوط ریلی
Authors:
محمدعلی صندیدزاده
،
علی محمد حمزه لو
،
فرزاد سلیمانی
Year 1402
Publish place:
The 8th International Conference on Recent Advances in Railway Engineering (ICRARE 2023)
Pages:
15
| Language: Persian
View And Download
Conference Paper
بررسی تحمل پذیری خطا در معماری سرویس گرا با استفاده از سیستم های انتقال گراف
Authors:
رویا دشتی
،
وحید رافع
Year 1393
Publish place:
17th Iran"s Electrical Engineering Student Conference
Pages:
6
| Language: Persian
View And Download
Conference Paper
روش های صوری در توصیف سیستم های همروند
Authors:
بتول لکزائی
Year 1395
Publish place:
The first international conference of modern research engineers in electricity and computer
Pages:
14
| Language: Persian
View And Download
Conference Paper
امنیت سیستم های نرم افزاری با روشهای صوری
Authors:
سمیه عزیزی
،
محمدرضا سلطان آقائی
Year 1394
Publish place:
National Conference on Information Technology, Computer & Communication
Pages:
11
| Language: Persian
View And Download
Conference Paper
بررسی رویداد گرایی در معماری سرویس گرا با استفاده از سیستم های انتقال گراف
Authors:
رویا دشتی
،
وحید رافع
Year 1393
Publish place:
National Conference on Engineering Sciences, New Ideas (8)
Pages:
7
| Language: Persian
View And Download
Conference Paper
معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار
Authors:
نونا قاسمی
Year 1393
Publish place:
National Conference on Engineering Sciences, New Ideas (8)
Pages:
7
| Language: Persian
View And Download
Conference Paper
ارائه صوری یک معماری عامل گرا برای تأمین یکپارچگی در سیستم های ERP
Authors:
مریم محبتی
Year 1393
Publish place:
National Conference on Computer Engineering and Information Technology Management
Pages:
20
| 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