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.
| ISBN: | 9783319663340 |
| Publication date: | 12th August 2017 |
| Author: | Nathalie Bertrand |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 370 pages |
| Series: | Theoretical Computer Science and General Issues |
| Genres: |
Computer programming / software engineering Systems analysis and design Maths for computer scientists User interface design and usability 3D graphics and modelling |