Quantitative evaluation of systems : 18th international conference, QEST 2021, Paris, France, August 23-27, 2021 proceedings / Alessandro Abate, Andrea Marin (eds.).
"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 submission...
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Ebook |
Language: | English |
Published: |
Cham, Switzerland :
Springer,
[2021]
|
Series: | LNCS sublibrary. Theoretical computer science and general issues
|
Subjects: | |
Online Access: | Springer eBooks |
Summary: | "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."--Publisher's website. |
---|---|
Item Description: | "ISSN 1611-3349 (electronic)"--Title page verso. |
Physical Description: | 1 online resource (xv, 467 pages) : illustrations. |
Bibliography: | Includes bibliographical references and index. |
ISBN: | 3030851729 9783030851729 3030851710 9783030851712 |
ISSN: | 0302-9743 ; |