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 - Softcover

 
9783032057914: 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
Softcover
ISBN 10: 3032057914 ISBN 13: 9783032057914
Verlag: Springer Nature Switzerland AG, 2025

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Nature Switzerland AG
Erscheinungsdatum
2025
Sprache
Englisch
ISBN 10 
3032057914
ISBN 13 
9783032057914
Einband
Tapa blanda
Anzahl der Seiten
521
Herausgeber
Prabhakar Pavithra, Vandin Andrea
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland