,

Quantitative Evaluation of Systems

16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Paperback Engels 2019 9783030302801
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783030302801
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

<p>Probabilistic Verification.- Learning and Verification.- Hybrid Systems.- Security.- Probabilistic Modelling and Abstraction.- Applications and Tools.</p>

Managementboek Top 100

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Quantitative Evaluation of Systems