Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem