Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings: 11785 (Theoretical Computer Science and General Issues) - Softcover

 
9783030302801: Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings: 11785 (Theoretical Computer Science and General Issues)
Softcover
ISBN 10: 3030302806 ISBN 13: 9783030302801
Verlag: Springer, 2019

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
3030302806
ISBN 13 
9783030302801
Einband
Tapa blanda
Auflage
1
Anzahl der Seiten
376
Herausgeber
Parker David, Wolf Verena
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3030302822 ISBN 13:  9783030302825
Verlag: Springer, 2019
Softcover