Del 13479
Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
AvMarco Paolieri,Erika Abraham
E-bok
Engelska, 2022708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9951
Performance Evaluation Methodologies and Tools
Evangelia Kalyvianaki, Marco Paolieri
Häftad, 2024
727 kr
Theory and Practice of Formal Methods
Einar Broch Johnsen, Marcello Bonsangue, Erika Abraham
E-bok
2016708 kr
Formal Techniques for Distributed Objects, Components, and Systems
Catuscia Palamidessi, Erika Abraham
E-bok
2014714 kr
Tools and Algorithms for the Construction and Analysis of Systems
Erika Abraham, Klaus Havelund
Häftad, 2014
561 kr
Tools and Algorithms for the Construction and Analysis of Systems
Klaus Havelund, Erika Abraham
E-bok
2014708 kr