Verwandte Artikel zu Quantitative Evaluation of Systems and Formal Modeling...

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, ... Notes in Computer Science, Band 16143) - Softcover

 
9783032057914: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, ... Notes in Computer Science, Band 16143)
Softcover
ISBN 10: 3032057914 ISBN 13: 9783032057914
Verlag: Springer, 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
Erscheinungsdatum
2025
Sprache
Englisch
ISBN 10 
3032057914
ISBN 13 
9783032057914
Einband
Taschenbuch
Anzahl der Seiten
521
Herausgeber
Prabhakar Pavithra, Vandin Andrea
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland