TY  - GEN
N2  - This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
DO  - 10.1007/978-3-030-85172-9
DO  - doi
AB  - This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
T1  - Quantitative evaluation of systems :18th international conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings /
AU  - Abate, Alessandro,
AU  - Marin, Andrea,
VL  - 12846
CN  - QA76.9.E94
N1  - International conference proceedings.
N1  - "QEST 2021 was hosted within QONFEST 2021, and held virtually during August 23-27, 2021. The event was co-located with CONCUR, FORMATS, FMICS, and other workshops"--Preface
N1  - Includes author index.
ID  - 1439062
KW  - Computer systems
KW  - Computer networks
KW  - Reliability (Engineering)
KW  - Systèmes informatiques
KW  - Réseaux d'ordinateurs
KW  - Fiabilité
SN  - 9783030851729
SN  - 3030851729
TI  - Quantitative evaluation of systems :18th international conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-85172-9
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-85172-9
ER  -