Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Marin, Andrea / Alessandro Abate (Hrsg.). Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23¿27, 2021, Proceedings. Springer International Publishing, 2021.
eng

Quantitative Evaluation of Systems

18th International Conference, QEST 2021, Paris, France, August 23¿27, 2021, Proceedings
  • Springer International Publishing
  • 2021
  • Taschenbuch
  • 488 Seiten
  • ISBN 9783030851712
Herausgeber: Andrea Marin / Alessandro Abate

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.

in Kürze