Quantitative Evaluation of Systems: 19th International Conference, QEST 2022

[LeeAndro]

English | 2022 | ISBN: 3031163354 | 399 Pages | PDF (True) | 17 MB

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.​

The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.



DOWNLOAD

https://1dl.net/tyaaymnevwil/9y1r6A2Q__9783031163364.rar.html