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

823 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

  • 4 för 3
Del 1

Klanen

Pascal Engman

Pocket

89 kr

  • 10% rabatt på allt
Del 2

Kriget

Pascal Engman

Inbunden

249 kr