Quantitative Evaluation Of Systems: 16Th International Conference, Qest 2019, Glasgow, Uk, September 10?12, 2019, Proceedings (Theoretical Computer Science And General Issues)
Springer
ISBN13:
9783030302801
$61.47
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.
- | Author: David Parker, Verena Wolf
- | Publisher: Springer
- | Publication Date: Sep 02, 2019
- | Number of Pages: 376 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030302806
- | ISBN-13: 9783030302801
- Author:
- David Parker, Verena Wolf
- Publisher:
- Springer
- Publication Date:
- Sep 02, 2019
- Number of pages:
- 376 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030302806
- ISBN-13:
- 9783030302801