MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
This thesis addresses the problem of modeling and analysis of the distributed systems under the probabilistic and reversible environment. On the theoretical side a mathematical model named as Concurrent reversible probabilistic automata (CPRA) is presented here. In this scenario, CPRA implements...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | أطروحة |
| اللغة: | English |
| منشور في: |
2016
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://utpedia.utp.edu.my/id/eprint/21471/1/2015-IT-MODELING%20VERIFICATION%20AND%20ANALYSIS%20OF%20CONCURRENT%20PROBABILISTIC%20REVERSIBLE%20SYSTEMS-ARPIT.pdf http://utpedia.utp.edu.my/id/eprint/21471/ |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|