Verification and Evaluation of Computer and Communication Systems: 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings - Belgacem Ben Hedia (Springer Nature, 2025)