Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus, Denmark, August 26 28, 2025, Proceedings

Prabhakar, Pavithra (Editor)/ Vandin, Andrea (Editor)

ISBN 10: 3032057914 / ISBN 13: 9783032057914

Published by Springer-Nature New York Inc, 2025

About this Item

490 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand.

Seller Inventory # __3032057914

Bibliographic Details

• Title: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus, Denmark, August 26 28, 2025, Proceedings
• Publisher: Springer-Nature New York Inc
• Publication Date: 2025
• Language: English
• ISBN 10: 3032057914
• ISBN 13: 9783032057914
• Binding: Paperback
• Condition: Brand New
• Weight: 0.73 kilograms

About this title

Synopsis

This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.

The 26 full papers included in these proceedings were carefully reviewed and selected from 57 submissions. They focus on up to date research in quantitative evaluation of systems and formal modeling and analysis of timed systems.