| Title |
Paskirstytų sistemų kontraktai ir jų skaitmeninis įvertinimas remiantis modelių patikrinimo arba simuliavimo metodais |
| Translation of Title |
Distributed system contracts and their quantitative assessment using model checking or simulation methods. |
| Authors |
Kajėnas, Karolis |
| Full Text |
|
| Pages |
64 |
| Abstract [eng] |
Distributed System Contracts and Their Quantitative Assessment Using Model Checking or Simulation Methods. |
| Dissertation Institution |
Vilniaus universitetas. |
| Type |
Master thesis |
| Language |
Lithuanian |
| Publication date |
2018 |
