| 书目名称 | Quantitative Evaluation of Systems |
| 副标题 | 20th International C |
| 编辑 | Nils Jansen,Mirco Tribastone |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023. .The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker. . |
| 出版日期 | Conference proceedings 2023 |
| 关键词 | software verification and validation; automata theory; correlation analysis; model checking; graph theor |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-43835-6 |
| isbn_softcover | 978-3-031-43834-9 |
| isbn_ebook | 978-3-031-43835-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 16:36:36
