Limit this search to....

Quantitative Evaluation of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings 2019 Edition
Contributor(s): Parker, David (Editor), Wolf, Verena (Editor)
ISBN: 3030302806     ISBN-13: 9783030302801
Publisher: Springer
OUR PRICE:   $52.24  
Product Type: Paperback
Published: September 2019
Qty:
Additional Information
BISAC Categories:
- Computers | Programming - Algorithms
- Computers | Software Development & Engineering - General
- Computers | Intelligence (ai) & Semantics
Dewey: 005.101
Physical Information: 0.78" H x 6.14" W x 9.21" (1.16 lbs) 361 pages
 
Descriptions, Reviews, Etc.
Publisher Description:

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.