Quantitative Evaluation of Systems:18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings
Alessandro Abate, Andrea Marin
Informasi Umum
Kode
22.21.1996
Klasifikasi
004.015 1 - Computer Mathematics, mathematical principles
Jenis
Buku - Elektronik (E-Book)
Subjek
Computer Logic, Mathematical Statistics,
No. Rak
Dilihat
126 kali
Informasi Lainnya
Abstraksi
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Alessandro Abate, Andrea Marin |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Nature Switzerland AG |
| Kota | Switzerland |
| Tahun | 2021 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
