Quantitative Evaluation of Systems
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
AvNathalie Bertrand,Luca Bortolussi
Häftad, Engelska, 2017
Del 10503 i serien Lecture Notes in Computer Science
565 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 11773
Del 12288
Principles of Formal Quantitative Analysis
Sascha Kluppelholz, Clemens Dubslaff, Nathalie Bertrand
E-bok
2025993 kr
Del 16503
Foundations of Software Science and Computation Structures
Nathalie Bertrand, Stefan Milius
Häftad, 2026
440 kr
Del 15760
Principles of Formal Quantitative Analysis
Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz
Häftad, 2025
809 kr
- -23%
- -19%