Quantitative Evaluation of Systems
Author | : Erika Ábrahám |
Publisher | : Springer Nature |
Total Pages | : 406 |
Release | : 2022-09-10 |
ISBN-10 | : 9783031163364 |
ISBN-13 | : 3031163362 |
Rating | : 4/5 (362 Downloads) |
Download or read book Quantitative Evaluation of Systems written by Erika Ábrahám and published by Springer Nature. This book was released on 2022-09-10 with total page 406 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.