UID:
almahu_9948170572202882
Umfang:
XI, 361 p. 595 illus., 55 illus. in color.
,
online resource.
Ausgabe:
1st ed. 2019.
ISBN:
9783030302818
Serie:
Theoretical Computer Science and General Issues ; 11785
Inhalt:
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.
Anmerkung:
Probabilistic Verification -- Learning and Verification -- Hybrid Systems -- Security -- Probabilistic Modelling and Abstraction -- Applications and Tools.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783030302801
Weitere Ausg.:
Printed edition: ISBN 9783030302825
Sprache:
Englisch
Schlagwort(e):
Konferenzschrift
DOI:
10.1007/978-3-030-30281-8
URL:
https://doi.org/10.1007/978-3-030-30281-8
