2015

Analytical and stochastic modelling techniques and applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

ASMTA (Conference) (22nd : 2015 : Albena, Bulgaria)

Cham : Springer, 2015

 

2020

Distributed applications and interoperable systems : 20th IFIP WG 6. 1 International Conference, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniq

DAIS (Conference) (20th : 2020 : Online)



 

2016

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

1st ed. 2016
Cham : Springer International Publishing : Imprint : Springer, 2016

 

2020

Quantitative evaluation of systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

International Conference on the Quantitative Evaluation of Systems (17th : 2020 : Online)

Cham : Springer, [2020]

 

2014

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanc

ROCKS Autumn School (2012 : Varna, Italy)

Berlin : Springer, [2014]