Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
CHF 83.25
Auf Lager
SKU
ETQ9TV4FQTI
1 Verfügbar 
Geliefert zwischen Fr., 30.01.2026 und Mo., 02.02.2026
Details
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.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783032057914
- Genre Information Technology
- Editor Pavithra Prabhakar, Andrea Vandin
- Lesemotiv Verstehen
- Anzahl Seiten 508
- Größe H235mm x B155mm
- Jahr 2025
- EAN 9783032057914
- Format Kartonierter Einband
- ISBN 978-3-032-05791-4
- Titel Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
- Untertitel Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
