Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings
Titre:
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings
ISBN (Numéro international normalisé des livres):
9783030302818
Edition:
1st ed. 2019.
PRODUCTION_INFO:
Cham : Springer International Publishing : Imprint: Springer, 2019.
Description physique:
XI, 361 p. 595 illus., 55 illus. in color. online resource.
Collections:
Theoretical Computer Science and General Issues, 11785
Table des matières:
Probabilistic Verification -- Learning and Verification -- Hybrid Systems -- Security -- Probabilistic Modelling and Abstraction -- Applications and Tools.
Extrait:
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.
Auteur collectif ajouté:
Accès électronique:
Full Text Available From Springer Nature Computer Science 2019 Packages
Langue:
Anglais