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 - Hillston, Jane 1963-; Soudjani, Sadegh; Waga, Masaki (Springer, 2024)