Verification and Evaluation of Computer and Communication Systems
16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings
Belgacem Ben Hedia, Yassine Maleh, Moez Krichen
Informasi Umum
Kode
25.21.964
Klasifikasi
004.0688 - Computer Management
Jenis
Buku - Elektronik (E-Book)
Subjek
Computer, Communication,
No. Rak
Dilihat
70 kali
Informasi Lainnya
Abstraksi
This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18–20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Belgacem Ben Hedia, Yassine Maleh, Moez Krichen |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Cham |
| Kota | Singapore |
| Tahun | 2024 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
Download / Flippingbook
belum pernah diunduh
