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 Download
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