Quantitative evaluation of systems and formal modeling and analysis of timed systems: first international joint conference, qest+formats 2024, calgary, ab, canada, september 9–13, 2024, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031684159
Date de publication :
29 août 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.