Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Subtitle: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031684159