Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Title: Verification and Evaluation of Computer and Communication Systems
Author: Belgacem Ben Hedia, Mohamed Ghazel & Bruno Monsuez
Release: 2025-04-16
Kind: ebook
Genre: Computers, Books, Computers & Internet, Network
Size: 35347968
This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16–18, 2024.

The 16 full papers included in this book were carefully reviewed and selected from 42 submissions. They deal with the state of the art and challenges in modern computer and communication systems in the areas of verification, control, performance, and dependability evaluation. 

More Books from Belgacem Ben Hedia, Mohamed Ghazel & Bruno Monsuez

Belgacem Ben Hedia, Mohamed Ghazel & Bruno Monsuez
Belgacem Ben Hedia, Yassine Maleh & Moez Krichen
Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu & Zhenhua Yu