![](/img/cover-not-exists.png)
Quantitative Assessments of Distributed Systems (Methodologies and Techniques) || Modeling and Verification of Distributed Systems Using Markov Decision Processes
Bruneo, Dario, Distefano, SalvatoreVolume:
10.1002/97
Year:
2015
Language:
english
DOI:
10.1002/9781119131151.ch1
File:
PDF, 2.21 MB
english, 2015