Verification and Evaluation of Computer and Communication Systems
18th International Conference, VECoS 2025, Paris, France, November 5-7, 2025, Proceedings
Published on 2. May 2026
Book
Paperback/Softback
XVIII, 205 pages
978-3-032-20439-4 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
54 farbige Abbildungen
XVIII, 205 p. 58 illus., 42 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 13 mm
Weight
347 gr
ISBN-13
978-3-032-20439-4 (9783032204394)
DOI
10.1007/978-3-032-20440-0
Schweitzer Classification
Other editions
Additional editions
Belgacem Ben Hedia | Sébastien Bardin | Riadh Robbana
Verification and Evaluation of Computer and Communication Systems
18th International Conference, VECoS 2025, Paris, France, November 5-7, 2025, Proceedings
E-Book
04/2026
Springer
€60.98
Available for download