EAN: 9783319663340

QUANTITATIVE EVALUATION OF SYSTEMS KARTONIERT (TB)

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.

Aktuelle Preise zur EAN 9783319663340

Produktinformationen zur 9783319663340