Noch Fragen? 0800 / 33 82 637

Quantitative Evaluation of Systems

14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

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. weiterlesen

Sprache(n): Englisch

ISBN: 978-3-319-66334-0 / 978-3319663340 / 9783319663340

Verlag: Springer International Publishing

Erscheinungsdatum: 12.08.2017

Seiten: 370

Auflage: 1

Herausgegeben von Nathalie Bertrand, Luca Bortolussi

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück