فیلتر نتایج
مقاله ژورنالی
Formal Method in Service Composition in Heath Care Systems
نویسندگان: Zahra Baatmaanghelich، Ali Rezaee، Sahar Adabi
سال انتشار 1397
محل انتشار: مجله پیشرفت در مهندسی کامپیوتر و فناوری شماره 1، دوره 4
تعداد صفحات: 6 | زبان: انگلیسی
مقاله کنفرانسی
Formal modelling and performance evaluation of puzzle type computer game using colored petri net
نویسندگان: Zahra Eghbali، Saeid Pashazadeh
سال انتشار 1397
محل انتشار: چهارمین کنفرانس ملی محاسبات توزیعی و پردازش داده های بزرگ
تعداد صفحات: 10 | زبان: انگلیسی
مقاله کنفرانسی
Evaluation criteria to comparing of formal methods
نویسندگان: Nesa Mohsenian، Sajjad jeddi Saravi، Yaser Qorbani
سال انتشار 1395
محل انتشار: کنفرانس بین المللی مهندسی و علوم کامپیوتر
تعداد صفحات: 5 | زبان: انگلیسی
مقاله ژورنالی
A New Approach to the Quantitative Measurement of Software Reliability
نویسندگان: Abbas Rasoolzadegan
سال انتشار 1394
محل انتشار: فصلنامه سیستم های اطلاعاتی و مخابرات شماره 3، دوره 3
تعداد صفحات: 8 | زبان: انگلیسی
مقاله کنفرانسی
Accelerating of Modified Policy Iteration in Probabilistic Model Checking
نویسندگان: Mohammadsadegh Mohagheghi
سال انتشار 1394
محل انتشار: کنفرانس بین المللی یافته های نوین پژوهشی در علوم،مهندسی و فناوری با محوریت پژوھشھای نیاز محور
تعداد صفحات: 6 | زبان: انگلیسی
مقاله کنفرانسی
Reliability in modeled systems using formal methods
نویسندگان: Somayeh Azizi، Naser Nematbakhsh
سال انتشار 1394
محل انتشار: سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات
تعداد صفحات: 8 | زبان: انگلیسی
مقاله کنفرانسی
Safety Assessment of avionics systems Using Formal Methods
نویسندگان: Mohsen Fazeilina، Vahid Ghafarinia
سال انتشار 1393
محل انتشار: دومین کنفرانس ملی اویونیک ایران
تعداد صفحات: 6 | زبان: انگلیسیمقاله ژورنالی
an approach to compose viewpoints of different stakeholders in the specification of probabilistic systems
نویسندگان: Mahboubeh Samadi، Hasan Haghighi
سال انتشار 1392
محل انتشار: فصلنامه سیستم های اطلاعاتی و مخابرات شماره 5، دوره 2
تعداد صفحات: 8 | زبان: انگلیسی
مقاله کنفرانسی
An Approach for Re ning JML Speci cation To Object Oriented Code
نویسندگان: Razieh Piri، Seyed-Hassan Mirian-Hosseinabadi
سال انتشار 1388
محل انتشار: چهاردهمین کنفرانس بین المللی سالانه انجمن کامپیوتر ایران
تعداد صفحات: 9 | زبان: انگلیسی