Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
1st ed. 2019
Series:
Lecture Notes in Computer Science (Book 11785)
Author:
David Parker, Verena Wolf
ISBN:
9783030302818
Related ISBNs:
9783030302801
Publisher:
Springer International Publishing
Pages:
N/A
Reading age:
Not specified
Includes images:
Yes
Date of addition:
2022-07-19
Usage restrictions:
Copyright
Copyright date:
2019
Copyright by:
Springer Nature Switzerland AG 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy