Quantitative Evaluation of Systems
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
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 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 370 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bertrand, Nathalie Bortolussi, Luca |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 12.08.2017 |
| Untertitel: | 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings |
| Schlagworte: | bayesian interence communication networks formal languages formal methods input modeling markov processes model checking modeling and simulation optimization stochastic simulation |
Anmelden