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
Herausgeber: Prabhakar, Pavithra; Vandin, Andrea
Versandkostenfrei!
Erscheint vorauss. 21. Oktober 2025
56,99 €
inkl. MwSt.
PAYBACK Punkte
28 °P sammeln!
Andere Kunden interessierten sich für
