لطفا کمی صبر نمایید ...
ورود
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
فیلتر نتایج
Amin farahbakhsh touli
Mohammad Izadi
Seyed Hassan Mirian Hosseinabadi
Seyed Mohammad Hosseini
Hassan Haghighi
نتایج 11 تا 20 از مجموع 20
1
2
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 1390
Publish place:
14th Iranian Student Conference on Electrical Engineering
Pages:
13
| 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:
6
| 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:
6
| Language: Persian
View And Download
Conference Paper
توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z
Authors:
حسن حقیقی
،
سلیمه جوادیان
،
محمدمهدی جوانمرد
Year 1388
Publish place:
15th Annual Conference of Computer Society of Iran
Pages:
8
| 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
Conference Paper
توصیف صوری سیستم های احتمالاتی در Z
Authors:
سیدحسن میریان حسین آبادی
،
سیدوحید هاشمیان
Year 1381
Publish place:
8th Annual Conference of Computer Society of Iran
Pages:
9
| Language: Persian
View And Download
Conference Paper
روشی صوری برای توصیف و سنجش سازگاری موجهات در سیاست های مدیریت سیستم های توزیع شده باز
Authors:
محمد ایزدی
،
علی موقر رحیم آبادی
Year 1384
Publish place:
2nd International Conference on Information and Knowledge Technology
Pages:
8
| Language: Persian
View And Download
Conference Paper
از توصیف به زبان Z تا برنامه نمونه
Authors:
بهناز چنگیزی
،
سیدحسن میریان حسین آبادی
Year 1386
Publish place:
15th Iranian Conference on Electric Engineering
Pages:
7
| Language: Persian
View And Download
Conference Paper
توصیف صوری نمودارهای گردش کار
Authors:
بهرنگ عاصمی
،
سیدمحمد حسینی
Year 1385
Publish place:
2nd International Conference on Information and Communication Technology Management
Pages:
16
| Language: Persian
View And Download
نتایج 11 تا 20 از مجموع 20
1
2