• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Quantitative Evaluation of Systems: 14th International Conference, Qest 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Quantitative Evaluation of Systems: 14th International Conference, Qest 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Paperback

ApplicationsGeneral ComputersProgramming

ISBN10: 3319663348
ISBN13: 9783319663340
Publisher: Springer
Published: Aug 12 2017
Pages: 370
Weight: 1.19
Height: 0.80 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Programming