Runtime Verification:21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
Lu Feng, Dana Fisman
Informasi Umum
Kode
22.21.2510
Klasifikasi
004 - Data processing, Computer science
Jenis
Buku - Elektronik (E-Book)
Subjek
Computer Science, Data Processing,
No. Rak
Dilihat
104 kali
Informasi Lainnya
Abstraksi
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021. The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.
The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Lu Feng, Dana Fisman |
| 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 |
Download / Flippingbook
belum pernah diunduh
