Bild: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Springer

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
Springer (Verlag)
Erschienen am 1. Oktober 2025
XIII, 508 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-032-05792-1 (ISBN)
69,54 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Systemvoraussetzungen