لطفا کمی صبر نمایید ...
ورود
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
فیلتر نتایج
Journal Paper
Formal Method in Service Composition in Heath Care Systems
Authors:
Zahra Baatmaanghelich
،
Ali Rezaee
،
Sahar Adabi
Year 1397
Publish place:
Journal of Advances in Computer Engineering and Technology Issue 1، Vol 4
Pages:
6
| Language: English
View And Download
Conference Paper
Formal modelling and performance evaluation of puzzle type computer game using colored petri net
Authors:
Zahra Eghbali
،
Saeid Pashazadeh
Year 1397
Publish place:
4th National Conference on Distributed Computing and Big Data Processing
Pages:
10
| Language: English
View And Download
Conference Paper
Evaluation criteria to comparing of formal methods
Authors:
Nesa Mohsenian
،
Sajjad jeddi Saravi
،
Yaser Qorbani
Year 1395
Publish place:
International Conference on Engineering and Computer Science
Pages:
5
| Language: English
View And Download
Journal Paper
A New Approach to the Quantitative Measurement of Software Reliability
Authors:
Abbas Rasoolzadegan
Year 1394
Publish place:
The Journal of Information Systems and Telecommunication (JIST) Issue 3، Vol 3
Pages:
8
| Language: English
View And Download
Conference Paper
Accelerating of Modified Policy Iteration in Probabilistic Model Checking
Authors:
Mohammadsadegh Mohagheghi
Year 1394
Publish place:
International Conference on New Research Findings in Science, Engineering and Technology with a Focus on Need-Based Research
Pages:
6
| Language: English
View And Download
Conference Paper
Reliability in modeled systems using formal methods
Authors:
Somayeh Azizi
،
Naser Nematbakhsh
Year 1394
Publish place:
3rd International Conference on Applied Research in Computer Engineering and Information Technology
Pages:
8
| Language: English
View And Download
Conference Paper
Safety Assessment of avionics systems Using Formal Methods
Authors:
Mohsen Fazeilina
،
Vahid Ghafarinia
Year 1393
Publish place:
Second Iranian Conference on Avionics System
Pages:
6
| Language: English
View And Download
Journal Paper
an approach to compose viewpoints of different stakeholders in the specification of probabilistic systems
Authors:
Mahboubeh Samadi
،
Hasan Haghighi
Year 1392
Publish place:
The Journal of Information Systems and Telecommunication (JIST) Issue 5، Vol 2
Pages:
8
| Language: English
View And Download
Conference Paper
An Approach for Re ning JML Speci cation To Object Oriented Code
Authors:
Razieh Piri
،
Seyed-Hassan Mirian-Hosseinabadi
Year 1388
Publish place:
14th annual International CSI Computer Conference
Pages:
9
| Language: English
View And Download