Quantitative Evaluation of Systems - E-book

eBook

Quantitative Evaluation Of Systems - ENG

16th International Conference, Qest 2019, Glasgow, Uk, September 10â€“12, 2019, Proceedings

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783030302818
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ingeniería y desarrollo de software general
Año de publicación:	2019-09-04

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.

eBooks