TY  - BOOK
AU  - Bertrand,Nathalie
AU  - Bortolussi,Luca
ED  - SpringerLink (Online service)
TI  - Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319663357
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2017///
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  - Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.
N2  - This book constitutes the proceedings of  the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.
UR  - https://doi.org/10.1007/978-3-319-66335-7
ER  -