Op werkdagen voor 23:00 besteld, morgen in huis Gratis verzending vanaf €20
,

Quantitative Evaluation of Systems

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

Paperback Engels 2019 9783030302801
Verwachte levertijd ongeveer 8 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
Hoofdrubriek:

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Geef uw waardering

Zeer goed Goed Voldoende Matig Slecht

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