- Nyhet
Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
AvMarco Paolieri,Erika Abraham
E-bok
Engelska, 2022739 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 13479
Del 9951
Del 539
Performance Evaluation Methodologies and Tools
Evangelia Kalyvianaki, Marco Paolieri
Häftad, 2024
742 kr
Theory and Practice of Formal Methods
Einar Broch Johnsen, Marcello Bonsangue, Erika Abraham
E-bok
2016739 kr
Formal Techniques for Distributed Objects, Components, and Systems
Catuscia Palamidessi, Erika Abraham
E-bok
2014739 kr
Formal Techniques for Distributed Objects, Components, and Systems
Erika Ábrahám, Catuscia Palamidessi
Häftad, 2014
572 kr