| 書目名稱 | Quantitative Evaluation of Systems |
| 副標(biāo)題 | 20th International C |
| 編輯 | Nils Jansen,Mirco Tribastone |
| 視頻video | http://file.papertrans.cn/781/780844/780844.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 05:28
發(fā)表于 2025-3-21 16:36:36
