| Title | : | Quantitative Evaluation of Systems |
|---|---|---|
| Author | : | David Parker & Verena Wolf |
| Release | : | 2019-09-04 |
| Kind | : | ebook |
| Genre | : | Computers, Books, Computers & Internet, Software, Science & Nature, Mathematics, Programming |
| Size | : | 24233632 |
| This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019. The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools. |
