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

AvJane Hillston,Sadegh Soudjani

Häftad, Engelska, 2024

Del 14996 i serien Lecture Notes in Computer Science

822 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

  • -22%

Fars rygg

Niels Fredrik Dahl

Pocket
1

69 kr89 kr