TY  - BOOK
AU  - Agha,Gul
AU  - Van Houdt,Benny
ED  - SpringerLink (Online service)
TI  - Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319434254
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer logic
KW  - Computer system failures
KW  - Mathematical statistics
KW  - Computers
KW  - Computer simulation
KW  - Logics and Meanings of Programs
KW  - System Performance and Evaluation
KW  - Probability and Statistics in Computer Science
KW  - Computation by Abstract Devices
KW  - Simulation and Modeling
N1  - Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-43425-4
ER  -