Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgar

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgar

by Jane Hillston, Sadegh Soudjani, Masaki Waga Paperback 2024

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Jane Hillston, Sadegh Soudjani, Masaki Waga
  • ISBN 13: 9783031684159
  • ISBN 10: 303168415X
  • Publication Year: 2024
  • Language: English

Specifications

Index-10303168415X
LanguageEnglish
Index-139783031684159
Period-
Class Track-
Publisher- (2024)
Pages-

✨ Readers also enjoyed...

View All →
A Compositional Approach to Performance Modelling

A Compositional Approach to Perfor…

Jane Hillston, Hillston Jane

Inquire
Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,

Formal Methods for Performance Eva…

Marco Bernardo, Jane Hillston

Inquire
The Hunter and Her Witch

The Hunter and Her Witch

Rachel Sullivan

Inquire
The Message of the Holy Spirit

The Message of the Holy Spirit

K. Warrington

Inquire