000			01850nam a2200373Ia 4500
000			03979nam a22003975i 4500
001			978-3-031-43835-6
003			DE-He213
005			20240319121032.0
007			cr nn 008mamaa
008			230914s2023 sz | s |||| 0|eng d
020			_a9783031438356 _9978-3-031-43835-6
082			_a4.0151
245			_aQuantitative Evaluation of Systems _cedited by Nils Jansen, Mirco Tribastone. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXIII, 364 p. 83 illus., 45 illus. in color. _bonline resource.
520			_aThis 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. .
650			_aArtificial intelligence. _935995
650			_aArtificial Intelligence. _935996
650			_aComputer Engineering and Networks. _935997
650			_aComputer engineering. _935998
650			_aComputer networks . _935999
650			_aComputer science _936000
650			_aComputer science. _936000
650			_aMathematics of Computing. _936001
650			_aSoftware engineering. _936002
650			_aSoftware Engineering. _936003
650			_aTheory of Computation. _936004
700			_aJansen, Nils. _936005
700			_aTribastone, Mirco. _936006
856			_uhttps://doi.org/10.1007/978-3-031-43835-6
942			_cEBK _2ddc
999			_c15603 _d15603