This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9783319434254 ● Editor Gul Agha & Benny Van Houdt ● Publisher Springer International Publishing ● Published 2016 ● Downloadable 3 times ● Currency EUR ● ID 6303940 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader