Belgacem Ben Hedia - Böcker
Visar alla böcker från författaren Belgacem Ben Hedia. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 12519 - Lecture Notes in Computer Science
Verification and Evaluation of Computer and Communication Systems
14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings
Häftad, Engelska, 2020
552 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead.The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.
Del 14368 - Lecture Notes in Computer Science
Verification and Evaluation of Computer and Communication Systems
16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings
Häftad, Engelska, 2023
606 kr
Skickas inom 10-15 vardagar
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.
Del 15466 - Lecture Notes in Computer Science
Verification and Evaluation of Computer and Communication Systems
17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings
Häftad, Engelska, 2025
715 kr
Skickas inom 10-15 vardagar
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.
Verification and Evaluation of Computer and Communication Systems
18th International Conference, VECoS 2025, Paris, France, November 5–7, 2025, Proceedings
Häftad, Engelska, 2026
675 kr
Kommande
This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November 5-7, 2025.The 13 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on state of the art research and challenges in verification, control, performance, and dependability evaluation for modern computer and communication systems.