03581nam a22006135i 4500 978-3-031-68416-6 DE-He213 20251030112918.0 cr nn 008mamaa 240828s2024 sz | s |||| 0|eng d 9783031684166 978-3-031-68416-6 10.1007/978-3-031-68416-6 doi QA75.5-76.95 UYA bicssc COM014000 bisacsh UYA thema Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems [electronic resource] : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings / edited by Jane Hillston, Sadegh Soudjani, Masaki Waga. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XIV, 338 p. 90 illus., 54 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14996 This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference. The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems. . Computer science. 58552 Computer science Mathematics. 64041 Computer engineering. Computer networks . 60157 Software engineering. 33953 Artificial intelligence. 58441 Theory of Computation. 67552 Mathematics of Computing. 66501 Computer Engineering and Networks. Software Engineering. 33953 Artificial Intelligence. 58441 Hillston, Jane. editor. (orcid)0000-0003-4914-9255 https://orcid.org/0000-0003-4914-9255 edt http://id.loc.gov/vocabulary/relators/edt 83101 Soudjani, Sadegh. editor. edt http://id.loc.gov/vocabulary/relators/edt 83102 Waga, Masaki. editor. (orcid)0000-0001-9360-7490 https://orcid.org/0000-0001-9360-7490 edt http://id.loc.gov/vocabulary/relators/edt 83103 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031684159 Printed edition: 9783031684173 Lecture Notes in Computer Science, 1611-3349 ; 14996 https://doi.org/10.1007/978-3-031-68416-6 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 62824 62824